Build

Derivation: /gnu/store/zf2x008pnj80r5kgnf9n45vxckzmnvc2-agda-categories-0.1.7.2.drv
Build server URL: https://bordeaux.guix.gnu.org/

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

Timeline

Timestamp	Status
2024-01-16T22:27:41	Scheduled
2024-01-18T04:40:31	Started
2024-01-18T05:20:25	Succeeded