Build
Derivation
/gnu/store/wqg2dm6xmllgkq4p4y822rh3mfindngc-
agda-cubical-0.6.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2024-01-16T20:57:24
Scheduled
2024-01-17T10:30:40
Started
2024-01-17T15:25:50
Started
2024-01-17T16:33:39
Succeeded