Skip to content

cryptominisat 5.14.2 #772192

cryptominisat 5.14.2

cryptominisat 5.14.2 #772192

Triggered via pull request April 3, 2026 18:50
Status Cancelled
Total duration 1m 6s
Artifacts

tests.yml

on: pull_request
formulae_detect
35s
formulae_detect
Matrix: tap_syntax
setup_tests
setup_tests
report_analytics
0s
report_analytics
setup_runners
0s
setup_runners
setup_dep_tests
0s
setup_dep_tests
Matrix: tests
setup_dep_runners
setup_dep_runners
Matrix: test_deps
conclusion
4s
conclusion
Fit to window
Zoom out
Zoom in

Annotations

9 errors and 1 notice
formulae_detect
Canceling since a higher priority waiting request for tests-refs/pull/275892/merge exists
formulae_detect
The operation was canceled.
tap_syntax
Canceling since a higher priority waiting request for tests-refs/pull/275892/merge exists
tap_syntax
The operation was canceled.
tap_syntax (stable)
Canceling since a higher priority waiting request for tests-refs/pull/275892/merge exists
tap_syntax (stable)
The operation was canceled.
conclusion
Process completed with exit code 1.
conclusion
`tests` job cancelled.
CI
Canceling since a higher priority waiting request for tests-refs/pull/275892/merge exists
conclusion
`tests` job status: cancelled