Build

Derivation: /gnu/store/i28bjk56xmyqv3wvclm7xw35k73jps15-agda-1lab-0.0-2.549fdb1.drv
Build server URL: https://bordeaux.guix.gnu.org/

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

Timeline

Timestamp	Status
2024-04-24T07:12:11	Scheduled
2024-04-25T00:23:22	Started
2024-04-25T00:21:29	Succeeded