Build

Derivation: /gnu/store/bdzrhdilvvqbbxl8dk0wz041zf65rb7b-agda-cubical-0.7.drv
Build server URL: https://bordeaux.guix.gnu.org/

Timestamp	Status
2026-03-24T21:29:48	Scheduled
2026-03-26T01:30:33	Canceled