Build

Derivation: /gnu/store/bwwin3h4vflfi34h50xn1ivg6m027d05-agda-2.6.3.drv
Build server URL: https://bordeaux.guix.gnu.org/

View build on https://bordeaux.guix.gnu.org/

Timeline

Timestamp	Status
2023-07-21T23:44:52	Scheduled
2023-07-22T23:06:55	Started
2023-07-22T23:28:05	Succeeded