Skip to content
Publish Gateway Image

fix(ci): use READ_ONLY_GITHUB_TOKEN for z3-sys source download #16

Sign in to view logs

fix(ci): use READ_ONLY_GITHUB_TOKEN for z3-sys source download

fix(ci): use READ_ONLY_GITHUB_TOKEN for z3-sys source download #16

Run time

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