Skip to content
Publish Gateway Image

fix(ci): pass GITHUB_TOKEN to macOS build for Z3 source download #13

Sign in to view logs

fix(ci): pass GITHUB_TOKEN to macOS build for Z3 source download

fix(ci): pass GITHUB_TOKEN to macOS build for Z3 source download #13

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-push
40s
40s