Skip to content
Build CI Image

ci: use system z3 instead of bundled-z3 for openshell-cli #2

Sign in to view logs

ci: use system z3 instead of bundled-z3 for openshell-cli

ci: use system z3 instead of bundled-z3 for openshell-cli #2

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build (arm64)
1d 0h 0m 0s
Build (amd64)
1d 0h 0m 0s
Merge manifest
-1s
1d 23h 59m 59s