Build

Derivation: /gnu/store/3vv5rmz66axpmh86z8lq7n9a25f2xg1j-agda-2.6.2.drv
Build server URL: https://bordeaux.guix.gnu.org/

View build on https://bordeaux.guix.gnu.org/

Timeline

Timestamp	Status
2021-11-17T19:01:59	Scheduled
2021-12-20T18:14:52	Started
2021-12-20T18:47:05	Succeeded