Build

Derivation
/gnu/store/7fr8qic3hrh15yljgblf33js1caznndp-Agda-2.6.0.1.tar.gz.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/

Timeline

TimestampStatus
2021-05-09T18:14:44Scheduled
2021-05-10T10:13:56Started
2021-05-10T10:14:09Succeeded