Skip to content
Back to pull request #364

Clean header includes #698

Sign in to view logs

Clean header includes

Clean header includes #698

Triggered via push October 31, 2024 00:45
@CyanoKobalamyneCyanoKobalamyne
pushed dc498ac
header-clean
Status Failure
Total duration 1m 39s
Artifacts –

ci.yml

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

Annotations

18 errors
ubuntu-latest:msat
Process completed with exit code 2.
macos-latest:bitwuzla
The job was canceled because "ubuntu-latest_msat" failed.
macos-latest:msat
The job was canceled because "ubuntu-latest_msat" failed.
macos-latest:yices2
The job was canceled because "ubuntu-latest_msat" failed.
macos-latest:z3
The job was canceled because "ubuntu-latest_msat" failed.
macos-latest:cvc5
The job was canceled because "ubuntu-latest_msat" failed.
ubuntu-latest:yices2
The job was canceled because "ubuntu-latest_msat" failed.
ubuntu-latest:yices2
The operation was canceled.
macos-latest:btor
The job was canceled because "ubuntu-latest_msat" failed.
macos-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:btor
The job was canceled because "ubuntu-latest_msat" failed.
ubuntu-latest:btor
The operation was canceled.