Skip to content
Build CI Image

ci: use system z3 instead of bundled-z3 for openshell-cli #2

Sign in to view logs

ci: use system z3 instead of bundled-z3 for openshell-cli

ci: use system z3 instead of bundled-z3 for openshell-cli #2

Triggered via push May 8, 2026 14:25
@vessuxvessux
pushed e0861b5
main
Status Cancelled
Total duration 1d 0h 0m 2s
Artifacts –

ci-image.yml

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

Annotations

2 errors
Build (amd64)
The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s
Build (arm64)
The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s