Build

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

Timestamp	Status
2024-11-02T03:21:57	Scheduled
2024-11-05T05:35:56	Canceled