Build
Derivation
/gnu/store/sy5a7gqxd8c6alx4z93xwrhhdlnf6jzq-
z3-4.8.9-checkout.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2021-05-13T21:50:20
Scheduled
2021-05-18T05:07:15
Started
2021-05-18T05:07:24
Succeeded