Build

Derivation
/gnu/store/yh978frgninj6bjc4p07mac8pzn2c6sj-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:54:22Scheduled

Required failed builds

DerivationStatus
/gnu/store/np174wi3c41bs4a0ab9v7cndx9dmd169-webrtc-audio-processing-0.3.1.drvFailed
/gnu/store/np174wi3c41bs4a0ab9v7cndx9dmd169-webrtc-audio-processing-0.3.1.drvFailed
/gnu/store/np174wi3c41bs4a0ab9v7cndx9dmd169-webrtc-audio-processing-0.3.1.drvFailed
/gnu/store/kzqsa1y1q0yfmyli63a1y4nlyfshw47q-rust-1.39.0.drvFailed
/gnu/store/kzqsa1y1q0yfmyli63a1y4nlyfshw47q-rust-1.39.0.drvFailed
/gnu/store/kzqsa1y1q0yfmyli63a1y4nlyfshw47q-rust-1.39.0.drvFailed