Build

Derivation: /gnu/store/nkpwlhn63mp4zs7v5prmhf7jlqynq724-aiger-1.9.9.drv
Build server URL: https://bordeaux.guix.gnu.org/

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

Timeline

Timestamp	Status
2024-06-23T15:00:43	Scheduled
2024-06-24T18:44:12	Started
2024-06-24T18:44:35	Succeeded