Build

Derivation: /gnu/store/8pn9x4v1vni580iyxdp7xa76ccp48ijv-ocaml-z3-4.8.17.drv
Build server URL: https://bordeaux.guix.gnu.org/

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

Timeline

Timestamp	Status
2022-07-04T13:49:17	Scheduled
2022-07-04T16:30:25	Started
2022-07-04T16:31:35	Succeeded