Build

Derivation: /gnu/store/72x6g6jxr77ccb9l1yygxq52ljk6cm14-agda-2.6.2.1.drv
Build server URL: https://bordeaux.guix.gnu.org/

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

Timeline

Timestamp	Status
2021-12-17T13:06:14	Scheduled
2022-01-02T08:52:24	Started
2022-01-02T09:28:57	Succeeded