Skip to content
CI

Fix release look up #801

Sign in to view logs

Fix release look up

Fix release look up #801

Triggered via push February 20, 2025 22:39
@makaimannmakaimann
pushed 41105de
makaimann/cibuildwheel
Status Failure
Total duration 2m 39s
Artifacts –

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

17 errors
ubuntu-latest:msat
Process completed with exit code 2.
macos-latest:msat
The job was canceled because "ubuntu-latest_msat" failed.
macos-latest:btor
The job was canceled because "ubuntu-latest_msat" failed.
macos-latest:yices2
The job was canceled because "ubuntu-latest_msat" failed.
macos-latest:bitwuzla
The job was canceled because "ubuntu-latest_msat" failed.
macos-latest:cvc5
The job was canceled because "ubuntu-latest_msat" failed.
macos-latest:z3
The job was canceled because "ubuntu-latest_msat" failed.
ubuntu-latest:btor
The job was canceled because "ubuntu-latest_msat" failed.
ubuntu-latest:btor
The operation was canceled.
ubuntu-latest:bitwuzla
The job was canceled because "ubuntu-latest_msat" failed.
ubuntu-latest:bitwuzla
The operation was canceled.
ubuntu-latest:z3
The job was canceled because "ubuntu-latest_msat" failed.
ubuntu-latest:z3
The operation was canceled.
ubuntu-latest:cvc5
The job was canceled because "ubuntu-latest_msat" failed.
ubuntu-latest:cvc5
The operation was canceled.
ubuntu-latest:yices2
The job was canceled because "ubuntu-latest_msat" failed.
ubuntu-latest:yices2
The operation was canceled.