Skip to content
Publish Gateway Image

fix(ci): force C++17 for Z3 build on macOS #11

Sign in to view logs

fix(ci): force C++17 for Z3 build on macOS

fix(ci): force C++17 for Z3 build on macOS #11

Triggered via push May 1, 2026 02:19
@pdettoripdettori
pushed cc8918d
mvp
Status Success
Total duration 31s
Artifacts 1

publish.yml

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

Artifacts

Produced during runtime
Name Size Digest
kagenti~OpenShell~CHAXVN.dockerbuild
101 KB
sha256:52b22362628fd5ded1d5893008af5c6843fc79d7056048eeab9ea6b3bedccfdf