Build
Derivation
/gnu/store/rbkh9p79g6c8rbvlfm329phi6ain46dc-
agda-stdlib-1.7.2.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2023-07-01T20:30:54
Scheduled
2023-07-01T20:49:19
Started
2023-07-01T21:09:49
Succeeded