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-01-18T14:18:35
Scheduled
2022-02-05T09:30:54
Started
2022-02-05T09:44:37
Failed