fix(ci): restore prebuilt Z3 on Windows

f5dbe08

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Sign in for the full log view

Required CI Gates on: pull_request_target

Publish required CI gate statuses

Vouch Check on: pull_request_target

vouch-gate

DCO Assistant on: pull_request_target 1

DCOAssistant

Workflow Security Reports on: pull_request 5

Actionlint (informational)

Zizmor High report (informational)

Dependency Review on: pull_request

Dependency Review (informational)

Trivy Changes on: pull_request 1

Detect deployment configuration changes

Scan changed deployment configuration

OpenShell / Trivy Changes

Branch Checks on: push 3

Resolve PR metadata

mise Lockfile

License Headers

Cargo Deny

Rust (x86_64-linux)

Rust (aarch64-linux)

Rust (aarch64-darwin)

Python (linux-amd64-cpu8)

Python (linux-arm64-cpu8)

Go SDK

Markdown

TypeScript SDK

Windows MSVC on: push

Resolve PR metadata

PR lint and test (${{ matrix.arch }})

Seed cache (${{ matrix.arch }})

Build binaries (${{ matrix.arch }})

Helm Lint on: push 1

Resolve PR metadata

Detect Helm changes

Helm Lint

Branch E2E Checks on: push

Resolve PR metadata

version

build-cli

build-conformance

build-sandbox

build-gateway

build-gateway-plain

build-driver-docker

build-driver-podman

build-driver-kubernetes

build-vm-driver

build-supervisor-image

build-gateway-image

vm-e2e

vm-external-driver-e2e

docker-e2e

podman-e2e

docker-external-driver-e2e

podman-external-driver-e2e

gpu-e2e

kubernetes-external-driver-e2e

kubernetes-e2e

kubernetes-workspace-managed-e2e

kubernetes-workspace-operator-e2e

kubernetes-ha-e2e

kubernetes-credential-drivers-e2e

GPU E2E result

Core E2E result

Kubernetes HA E2E result

Kubernetes Credential Drivers E2E result

Code scanning results

Actionlint

zizmor

DCO Assistant on: pull_request_target 1

DCOAssistant

Publish required CI gate statuses

succeeded Sep 15, 2026 in 6s

Loading

Re-running jobs...