Build

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

Timeline

TimestampStatus
2023-07-25T16:28:12Scheduled
2023-07-27T07:15:48Started
2023-07-27T08:44:28Succeeded