Build
Derivation
/gnu/store/1srv2p7cmdrcriysgfrslsn01jfi66n5-
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-21T23:44:50
Scheduled
2023-07-23T00:31:54
Started
2023-07-23T00:47:13
Succeeded