Build

Derivation
/gnu/store/29jkps8p0xinf44i4hlq78nwg62ksxvs-agda-cubical-0.7.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/

Timeline

TimestampStatus
2024-11-11T20:51:27Scheduled

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