Skip to content
CI

Clean header includes #699

Sign in to view logs

Clean header includes

Clean header includes #699

Triggered via pull request October 31, 2024 00:47
@CyanoKobalamyneCyanoKobalamyne
opened #364
header-clean
Status Failure
Total duration 1m 41s
Artifacts –

ci.yml

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

Annotations

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