Skip to content
Build CI Image

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build (arm64)
0s
Build (amd64)
0s
0s