Skip to content
CI

[proofs] Remove eager check for SAT proof closedness #1956

Sign in to view logs

[proofs] Remove eager check for SAT proof closedness

[proofs] Remove eager check for SAT proof closedness #1956

Triggered via push February 10, 2025 19:28
@HanielBHanielB
pushed c4fb703
fix-sat-proof
Status Cancelled
Total duration 7m 51s
Artifacts –

ci.yml

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

Annotations

7 errors
win64:production
Canceling since a higher priority waiting request for 'build-refs/heads/fix-sat-proof-win64:production-true' exists
ubuntu:production
Canceling since a higher priority waiting request for 'build-refs/heads/fix-sat-proof-ubuntu:production-true' exists
ubuntu:production-dbg-clang
Canceling since a higher priority waiting request for 'build-refs/heads/fix-sat-proof-ubuntu:production-dbg-clang-true' exists
ubuntu:production-dbg
Canceling since a higher priority waiting request for 'build-refs/heads/fix-sat-proof-ubuntu:production-dbg-true' exists
macos:production-arm64
Canceling since a higher priority waiting request for 'build-refs/heads/fix-sat-proof-macos:production-arm64-true' exists
macos:production-arm64-cross
Canceling since a higher priority waiting request for 'build-refs/heads/fix-sat-proof-macos:production-arm64-cross-true' exists
macos:production
Canceling since a higher priority waiting request for 'build-refs/heads/fix-sat-proof-macos:production-true' exists