Build

Derivation
/gnu/store/wmg9pb02f5av575crlwwafplrxxgcw02-coq-ide-8.14.1.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/

Timeline

TimestampStatus
2022-01-15T14:23:43Scheduled

Required failed builds

DerivationStatus
/gnu/store/5k1mgzri1h7i5jz9ggsjsgf11zakvzbx-mesa-21.2.5.drvFailed
/gnu/store/5k1mgzri1h7i5jz9ggsjsgf11zakvzbx-mesa-21.2.5.drvFailed
/gnu/store/n9a4ajxyh7qjik1ajzavpf8mk04zr0wc-texlive-bin-20210325.drvFailed
/gnu/store/n9a4ajxyh7qjik1ajzavpf8mk04zr0wc-texlive-bin-20210325.drvFailed
/gnu/store/n9a4ajxyh7qjik1ajzavpf8mk04zr0wc-texlive-bin-20210325.drvFailed
/gnu/store/1lwckic5zahisavpf8s3q2g4g7jfqs7m-rust-1.39.0.drvFailed
/gnu/store/1lwckic5zahisavpf8s3q2g4g7jfqs7m-rust-1.39.0.drvFailed
/gnu/store/1lwckic5zahisavpf8s3q2g4g7jfqs7m-rust-1.39.0.drvFailed