Skip to content
Kind 2 DockerHub

Update Z3 path in CI workflow #331

Sign in to view logs

Update Z3 path in CI workflow

Update Z3 path in CI workflow #331

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-publish
0s
0s