Build
Derivation
/gnu/store/v6vngdvsap6qqgiim5h2gbd3264i7z9i-
lean-3.23.0.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2022-01-20T05:25:10
Scheduled
2022-01-20T05:34:41
Started
2022-01-20T05:43:09
Failed