Skip to content
Publish Gateway Image

fix(ci): use macos-15 runner for full C++20 support in Z3 build #19

Sign in to view logs

fix(ci): use macos-15 runner for full C++20 support in Z3 build

fix(ci): use macos-15 runner for full C++20 support in Z3 build #19

Triggered via push May 1, 2026 02:41
@pdettoripdettori
pushed 62dc47e
mvp
Status Success
Total duration 32s
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~G5ERHA.dockerbuild Expired
101 KB
sha256:4acd0297008a069d01c5b5893e417da02cc97ce14db4a7a55cb0a5f7184c7965