Skip to content
Publish Gateway Image

fix(ci): use C++20 for Z3 build on macOS (aggregate init with parens) #17

Sign in to view logs

fix(ci): use C++20 for Z3 build on macOS (aggregate init with parens)

fix(ci): use C++20 for Z3 build on macOS (aggregate init with parens) #17

Triggered via push May 1, 2026 02:36
@pdettoripdettori
pushed db4e343
mvp
Status Success
Total duration 39s
Artifacts 1

publish.yml

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

Artifacts

Produced during runtime
Name Size Digest
kagenti~OpenShell~V68JTY.dockerbuild
102 KB
sha256:ee726af36a05f6c8cac14467b4a21a06d90b9423f0044878a4c4829d7e8ed0ca