Skip to content
CI

Merge branch 'main' of https://github.com/cvc5/cvc5 into interfaceSim… #29459

Sign in to view logs

Merge branch 'main' of https://github.com/cvc5/cvc5 into interfaceSim…

Merge branch 'main' of https://github.com/cvc5/cvc5 into interfaceSim… #29459

Triggered via push November 19, 2024 20:19
@ajreynolajreynol
pushed 0f5468d
interfaceSimp-1119
Status Cancelled
Total duration 24s
Artifacts –

ci.yml

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

Annotations

17 errors
ubuntu:production-dbg-clang
Canceling since a higher priority waiting request for 'build-refs/heads/interfaceSimp-1119-ubuntu:production-dbg-clang-true' exists
ubuntu:production-arm64-cross
Canceling since a higher priority waiting request for 'build-refs/heads/interfaceSimp-1119-ubuntu:production-arm64-cross-true' exists
wasm:production
Canceling since a higher priority waiting request for 'build-refs/heads/interfaceSimp-1119-wasm:production-true' exists
win64:production-cross
Canceling since a higher priority waiting request for 'build-refs/heads/interfaceSimp-1119-win64:production-cross-true' exists
ubuntu:production-dbg
Canceling since a higher priority waiting request for 'build-refs/heads/interfaceSimp-1119-ubuntu:production-dbg-true' exists
ubuntu:production
Canceling since a higher priority waiting request for 'build-refs/heads/interfaceSimp-1119-ubuntu:production-true' exists
ubuntu:production
A task was canceled.
macos:production
Canceling since a higher priority waiting request for 'build-refs/heads/interfaceSimp-1119-macos:production-true' exists
ubuntu:production-clang
Canceling since a higher priority waiting request for 'build-refs/heads/interfaceSimp-1119-ubuntu:production-clang-true' exists
macos:production
The operation was canceled.
ubuntu:production-clang
The operation was canceled.
win64:production
Canceling since a higher priority waiting request for 'build-refs/heads/interfaceSimp-1119-win64:production-true' exists
win64:production
A task was canceled.
macos:production-arm64-cross
Canceling since a higher priority waiting request for 'build-refs/heads/interfaceSimp-1119-macos:production-arm64-cross-true' exists
macos:production-arm64-cross
The operation was canceled.
macos:production-arm64
Canceling since a higher priority waiting request for 'build-refs/heads/interfaceSimp-1119-macos:production-arm64-true' exists
macos:production-arm64
The operation was canceled.