Build
Derivation
/gnu/store/ghijl8sc5kv7m1pywky7y73kzybjn0i1-
idris-1.3.3.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2022-02-05T10:39:10
Scheduled
2022-02-05T10:42:56
Started
2022-02-05T11:15:26
Failed