Build

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

Timestamp	Status
2024-10-29T17:51:17	Scheduled
2024-11-05T06:48:06	Canceled