Build

Derivation
/gnu/store/1b53dz324fcgam6nbvkiw4qi5n7x2a3f-coq-interval-4.4.0.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/

Timeline

TimestampStatus
2022-06-19T08:58:41Scheduled

Required failed builds

DerivationStatus
/gnu/store/krm0f1vl63mih8bdinah5aqr90sfi4iv-grep-3.6.drvFailed
/gnu/store/krm0f1vl63mih8bdinah5aqr90sfi4iv-grep-3.6.drvFailed
/gnu/store/krm0f1vl63mih8bdinah5aqr90sfi4iv-grep-3.6.drvFailed
/gnu/store/krm0f1vl63mih8bdinah5aqr90sfi4iv-grep-3.6.drvFailed
/gnu/store/krm0f1vl63mih8bdinah5aqr90sfi4iv-grep-3.6.drvFailed
/gnu/store/krm0f1vl63mih8bdinah5aqr90sfi4iv-grep-3.6.drvFailed
/gnu/store/krm0f1vl63mih8bdinah5aqr90sfi4iv-grep-3.6.drvFailed
/gnu/store/krm0f1vl63mih8bdinah5aqr90sfi4iv-grep-3.6.drvFailed
/gnu/store/krm0f1vl63mih8bdinah5aqr90sfi4iv-grep-3.6.drvFailed
/gnu/store/flfv3qpv1d2rby4c670zym9a1mj66m8l-coreutils-8.32.drvFailed
/gnu/store/flfv3qpv1d2rby4c670zym9a1mj66m8l-coreutils-8.32.drvFailed
/gnu/store/flfv3qpv1d2rby4c670zym9a1mj66m8l-coreutils-8.32.drvFailed
/gnu/store/flfv3qpv1d2rby4c670zym9a1mj66m8l-coreutils-8.32.drvFailed
/gnu/store/flfv3qpv1d2rby4c670zym9a1mj66m8l-coreutils-8.32.drvFailed
/gnu/store/flfv3qpv1d2rby4c670zym9a1mj66m8l-coreutils-8.32.drvFailed
/gnu/store/flfv3qpv1d2rby4c670zym9a1mj66m8l-coreutils-8.32.drvFailed
/gnu/store/flfv3qpv1d2rby4c670zym9a1mj66m8l-coreutils-8.32.drvFailed
/gnu/store/flfv3qpv1d2rby4c670zym9a1mj66m8l-coreutils-8.32.drvFailed