Skip to content
Release VM Dev

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

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 #3

Triggered via push May 5, 2026 20:42
@vessuxvessux
pushed 366aaf3
main
Status Cancelled
Total duration 1d 23h 43m 39s
Artifacts –

release-vm-dev.yml

on: push
Compute Versions
1d 0h
Compute Versions
Download Kernel Runtime
1d 0h
Download Kernel Runtime
Matrix: build-rootfs
Matrix: build-driver-vm-linux
Matrix: build-vm-linux
Build VM (macOS)
0s
Build VM (macOS)
Build Driver VM (macOS)
0s
Build Driver VM (macOS)
Release VM Dev
0s
Release VM Dev
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Download Kernel Runtime
The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s
Compute Versions
The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s