Build

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

Timestamp	Status
2026-03-27T05:49:15	Scheduled
2026-03-30T02:03:45	Canceled