Skip to content

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

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) #18

Triggered via push May 1, 2026 02:36
Status Success
Total duration 26s
Artifacts 1

publish.yml

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

Artifacts

Produced during runtime
Name Size Digest
kagenti~OpenShell~HFECWG.dockerbuild
112 KB
sha256:dbb6b157c2b4393e6147bc285b2c6b77ac4ddc3cea659d41d789e0ebf134c9dc