Skip to content
.github/workflows/main.yml

Remove z3 dependency on Darwin #108

Sign in to view logs

Remove z3 dependency on Darwin

Remove z3 dependency on Darwin #108

Triggered via push December 25, 2023 06:40
@bcc32bcc32
pushed 80de27d
main
Status Success
Total duration 24m 38s
Artifacts –

main.yml

on: push
Build Nix targets
24m 29s
Build Nix targets
Fit to window
Zoom out
Zoom in