Skip to content

fix(ci): build gateway with bundled-z3 (upstream gave openshell-serve… #5

fix(ci): build gateway with bundled-z3 (upstream gave openshell-serve…

fix(ci): build gateway with bundled-z3 (upstream gave openshell-serve… #5

Triggered via push June 23, 2026 19:29
Status Queued
Total duration
Artifacts

ci-image.yml

on: push
Matrix: build-ci-image
Merge manifest
Merge manifest
Fit to window
Zoom out
Zoom in