Build

Derivation: /gnu/store/m00lshgpnj72kik5y41gihhpnqvm962n-agda-ial-1.5.0-1.ded30c4.drv
Build server URL: https://bordeaux.guix.gnu.org/

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

Timeline

Timestamp	Status
2024-01-16T13:28:56	Scheduled
2024-01-18T00:02:17	Started
2024-01-18T00:03:02	Succeeded