Build

Derivation
/gnu/store/2ac27xh845zbfv69x4vk8zknhc92hnhk-agda-1lab-0.0-2.549fdb1-checkout.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/

Timeline

TimestampStatus
2023-10-28T06:15:01Scheduled
2023-10-28T09:32:32Started
2023-10-28T09:32:37Succeeded