Skip to content
CI

more disabling #1715

Sign in to view logs

more disabling

more disabling #1715

Triggered via push February 24, 2024 22:23
@HanielBHanielB
pushed 0f17127
aletheError
Status Cancelled
Total duration 4m 51s
Artifacts –

ci.yml

on: push
update-pr
0s
update-pr
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

10 errors
win64:production
Canceling since a higher priority waiting request for 'build-refs/heads/aletheError-win64:production-true' exists
ubuntu:production
Canceling since a higher priority waiting request for 'build-refs/heads/aletheError-ubuntu:production-true' exists
ubuntu:production-clang
Canceling since a higher priority waiting request for 'build-refs/heads/aletheError-ubuntu:production-clang-true' exists
ubuntu:production-dbg
Canceling since a higher priority waiting request for 'build-refs/heads/aletheError-ubuntu:production-dbg-true' exists
macos:production
Canceling since a higher priority waiting request for 'build-refs/heads/aletheError-macos:production-true' exists
macos:production-arm64-cross
Canceling since a higher priority waiting request for 'build-refs/heads/aletheError-macos:production-arm64-cross-true' exists
macos:production-arm64-cross
unable to access 'https://github.com/HanielB/cvc5/': Recv failure: Operation timed out
macos:production-arm64-cross
unable to access 'https://github.com/HanielB/cvc5/': Recv failure: Operation timed out
ubuntu:production-dbg-clang
Canceling since a higher priority waiting request for 'build-refs/heads/aletheError-ubuntu:production-dbg-clang-true' exists
macos:production-arm64
Canceling since a higher priority waiting request for 'build-refs/heads/aletheError-macos:production-arm64-true' exists