Build

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

Timestamp	Status
2024-11-07T10:46:34	Scheduled
2024-11-11T16:46:36	Canceled