Build

Derivation
/gnu/store/hpv5cwmghqw14c67kwhbda0x435inl4q-agda-ial-1.5.0-1.ded30c4.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/

Timeline

TimestampStatus
2024-11-07T07:18:32Scheduled

Required failed builds

DerivationStatus
/gnu/store/cm9gn58n8gq7s3lkg81ky79fl5ahcnmp-agda-2.7.0.1.drvFailed
/gnu/store/cm9gn58n8gq7s3lkg81ky79fl5ahcnmp-agda-2.7.0.1.drvFailed
/gnu/store/cm9gn58n8gq7s3lkg81ky79fl5ahcnmp-agda-2.7.0.1.drvFailed