Build

Derivation: /gnu/store/j2glh7nkgqbvgwdgscq83hqwmxirl7bv-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-05-02T05:54:40	Scheduled
2021-05-08T20:19:22	Started
2021-05-08T20:55:03	Failed