Build

Derivation
/gnu/store/a70sx9lxaxr4c5nvdl454b77dimjgdcm-coq-core-8.15.1-checkout.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/

Timeline

TimestampStatus
2022-05-02T02:19:33Scheduled

Required failed builds

DerivationStatus
/gnu/store/2xi1g0z7nw97hj5hvrmh483zp2zwbi21-coreutils-8.32.drvFailed
/gnu/store/2xi1g0z7nw97hj5hvrmh483zp2zwbi21-coreutils-8.32.drvFailed
/gnu/store/2xi1g0z7nw97hj5hvrmh483zp2zwbi21-coreutils-8.32.drvFailed
/gnu/store/2xi1g0z7nw97hj5hvrmh483zp2zwbi21-coreutils-8.32.drvFailed
/gnu/store/2xi1g0z7nw97hj5hvrmh483zp2zwbi21-coreutils-8.32.drvFailed
/gnu/store/2xi1g0z7nw97hj5hvrmh483zp2zwbi21-coreutils-8.32.drvFailed
/gnu/store/2xi1g0z7nw97hj5hvrmh483zp2zwbi21-coreutils-8.32.drvFailed
/gnu/store/2xi1g0z7nw97hj5hvrmh483zp2zwbi21-coreutils-8.32.drvFailed
/gnu/store/2xi1g0z7nw97hj5hvrmh483zp2zwbi21-coreutils-8.32.drvFailed
/gnu/store/0r52qgfwzcyddhlp6bmpam8w5p5hbkn6-grep-3.6.drvFailed
/gnu/store/0r52qgfwzcyddhlp6bmpam8w5p5hbkn6-grep-3.6.drvFailed
/gnu/store/0r52qgfwzcyddhlp6bmpam8w5p5hbkn6-grep-3.6.drvFailed
/gnu/store/0r52qgfwzcyddhlp6bmpam8w5p5hbkn6-grep-3.6.drvFailed
/gnu/store/0r52qgfwzcyddhlp6bmpam8w5p5hbkn6-grep-3.6.drvFailed
/gnu/store/0r52qgfwzcyddhlp6bmpam8w5p5hbkn6-grep-3.6.drvFailed
/gnu/store/0r52qgfwzcyddhlp6bmpam8w5p5hbkn6-grep-3.6.drvFailed
/gnu/store/0r52qgfwzcyddhlp6bmpam8w5p5hbkn6-grep-3.6.drvFailed
/gnu/store/0r52qgfwzcyddhlp6bmpam8w5p5hbkn6-grep-3.6.drvFailed