Build

Derivation: /gnu/store/1nndlxr0s3gzwaybyvl0c1wdp0ywxff1-idris-1.3.3.drv
Build server URL: https://bordeaux.guix.gnu.org/

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

Timeline

Timestamp	Status
2021-12-21T05:09:04	Scheduled
2021-12-21T06:10:24	Started
2021-12-21T06:42:29	Succeeded