Skip to content
Publish Gateway Image

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

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 #15

Triggered via push May 1, 2026 02:30
@pdettoripdettori
pushed c018659
mvp
Status Success
Total duration 25s
Artifacts 1

publish.yml

on: push
build-and-push
21s
build-and-push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
kagenti~OpenShell~Y4NHM5.dockerbuild Expired
100 KB
sha256:63246d6d4547fe7d962df9ef0134c5cc482c184934f38d4e8829851a454d178f