Build

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

Timestamp	Status
2026-03-30T04:46:55	Scheduled
2026-03-30T09:01:42	Canceled