Skip to content

cryptominisat 5.14.2 #772193

cryptominisat 5.14.2

cryptominisat 5.14.2 #772193

Triggered via pull request April 3, 2026 18:51
Status Failure
Total duration 29m 3s
Artifacts 16

tests.yml

on: pull_request
formulae_detect
56s
formulae_detect
Matrix: tap_syntax
setup_tests
11s
setup_tests
report_analytics
13s
report_analytics
setup_runners
40s
setup_runners
setup_dep_tests
8s
setup_dep_tests
Matrix: tests
setup_dep_runners
2m 23s
setup_dep_runners
Matrix: test_deps
conclusion
3s
conclusion
Fit to window
Zoom out
Zoom in

Annotations

24 errors, 1 warning, and 45 notices
macOS 26-arm64 (deps)
Process completed with exit code 1.
`brew test --retry --verbose klee` failed on macOS Tahoe (26) on Apple Silicon!: Formula/k/klee.rb#L137
/opt/homebrew/Library/Homebrew/test.rb:67:in '<main>'
macOS 26-arm64 (deps)
klee: failed
`brew linkage --test klee` failed on macOS Tahoe (26) on Apple Silicon!: Formula/k/klee.rb#L0
/opt/homebrew/opt/cryptominisat/lib/libcryptominisat5.5.13.dylib (cryptominisat)
`brew test --retry --verbose klee` failed on macOS Tahoe (26) on Apple Silicon!: Formula/k/klee.rb#L137
/opt/homebrew/Library/Homebrew/test.rb:67:in '<main>'
macOS 26-arm64 (deps)
klee: failed
`brew linkage --test klee` failed on macOS Tahoe (26) on Apple Silicon!: Formula/k/klee.rb#L0
/opt/homebrew/opt/cryptominisat/lib/libcryptominisat5.5.13.dylib (cryptominisat)
Linux x86_64 (deps)
The strategy configuration was canceled because "test_deps.macOS_26-arm64_macos-26_3" failed
Linux x86_64 (deps)
The operation was canceled.
`brew test --retry --verbose klee` failed on Linux x86_64!: Formula/k/klee.rb#L137
/home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/test.rb:67:in '<main>'
Linux x86_64 (deps)
klee: failed
macOS 14-arm64 (deps)
The strategy configuration was canceled because "test_deps.macOS_26-arm64_macos-26_3" failed
macOS 14-arm64 (deps)
The operation was canceled.
`brew test --retry --verbose klee` failed on macOS Sonoma (14) on Apple Silicon!: Formula/k/klee.rb#L137
/opt/homebrew/Library/Homebrew/test.rb:67:in '<main>'
macOS 14-arm64 (deps)
klee: failed
`brew linkage --test klee` failed on macOS Sonoma (14) on Apple Silicon!: Formula/k/klee.rb#L0
/opt/homebrew/opt/cryptominisat/lib/libcryptominisat5.5.13.dylib (cryptominisat)
macOS 15-arm64 (deps)
The strategy configuration was canceled because "test_deps.macOS_26-arm64_macos-26_3" failed
macOS 15-arm64 (deps)
The operation was canceled.
`brew test --retry --verbose klee` failed on macOS Sequoia (15) on Apple Silicon!: Formula/k/klee.rb#L137
/opt/homebrew/Library/Homebrew/test.rb:67:in '<main>'
macOS 15-arm64 (deps)
klee: failed
`brew linkage --test klee` failed on macOS Sequoia (15) on Apple Silicon!: Formula/k/klee.rb#L0
/opt/homebrew/opt/cryptominisat/lib/libcryptominisat5.5.13.dylib (cryptominisat)
macOS 14-x86_64 (deps)
The strategy configuration was canceled because "test_deps.macOS_26-arm64_macos-26_3" failed
macOS 14-x86_64 (deps)
The operation was canceled.
macOS 14-x86_64 (deps)
No files were found with the provided path: /Users/brew/actions-runner/_work/homebrew-core/homebrew-core/bottles/logs. No artifacts will be uploaded.
Linux arm64
0 list(s) of successfully tested dependents
Linux arm64
1 list(s) of skipped formulae
Linux arm64
0 failed bottle(s)
Linux arm64
2 bottle(s)
macOS 26-arm64
0 list(s) of successfully tested dependents
macOS 26-arm64
1 list(s) of skipped formulae
macOS 26-arm64
0 failed bottle(s)
macOS 26-arm64
2 bottle(s)
Linux x86_64
0 list(s) of successfully tested dependents
Linux x86_64
1 list(s) of skipped formulae
Linux x86_64
0 failed bottle(s)
Linux x86_64
2 bottle(s)
macOS 15-arm64
0 list(s) of successfully tested dependents
macOS 15-arm64
1 list(s) of skipped formulae
macOS 15-arm64
0 failed bottle(s)
macOS 15-arm64
2 bottle(s)
macOS 14-arm64
0 list(s) of successfully tested dependents
macOS 14-arm64
1 list(s) of skipped formulae
macOS 14-arm64
0 failed bottle(s)
macOS 14-arm64
2 bottle(s)
macOS 14-x86_64
0 list(s) of successfully tested dependents
macOS 14-x86_64
1 list(s) of skipped formulae
macOS 14-x86_64
0 failed bottle(s)
macOS 14-x86_64
2 bottle(s)
macOS 26-arm64 (deps)
0 list(s) of successfully tested dependents
macOS 26-arm64 (deps)
1 list(s) of skipped formulae
macOS 26-arm64 (deps)
0 failed bottle(s)
macOS 26-arm64 (deps)
2 bottle(s)
Linux x86_64 (deps)
0 list(s) of successfully tested dependents
Linux x86_64 (deps)
2 list(s) of skipped formulae
Linux x86_64 (deps)
0 failed bottle(s)
Linux x86_64 (deps)
4 bottle(s)
macOS 14-arm64 (deps)
0 list(s) of successfully tested dependents
macOS 14-arm64 (deps)
1 list(s) of skipped formulae
macOS 14-arm64 (deps)
0 failed bottle(s)
macOS 14-arm64 (deps)
2 bottle(s)
macOS 15-arm64 (deps)
0 list(s) of successfully tested dependents
macOS 15-arm64 (deps)
1 list(s) of skipped formulae
macOS 15-arm64 (deps)
0 failed bottle(s)
macOS 15-arm64 (deps)
2 bottle(s)
macOS 14-x86_64 (deps)
0 list(s) of successfully tested dependents
macOS 14-x86_64 (deps)
1 list(s) of skipped formulae
macOS 14-x86_64 (deps)
0 failed bottle(s)
macOS 14-x86_64 (deps)
2 bottle(s)
conclusion
`tests` job status: success

Artifacts

Produced during runtime
Name Size Digest
bottles_14-arm64-23958067482
1.88 MB
sha256:10ae95949301cfe42eca67d95ba7fc26ab60ee1f4209aa3851894f0287905c6c
bottles_14-x86_64-23958067482
1.97 MB
sha256:baa44530fc977a460a4b70a8412f3d379d92c91df5a07defcd22db3d954bd4ee
bottles_15-arm64-23958067482
1.88 MB
sha256:3a8f8cc96019855bcfb4d0668dd541f323a086bbc2342f7a0dbac7b2aa0872be
bottles_26-arm64-23958067482
1.82 MB
sha256:e7a2b4a2a39e66e1cf71cb091d45dfe5471b8e1470a4ae0464fbb3a9b61a53e4
bottles_ubuntu-22.04-arm
2.13 MB
sha256:c18dfcfda5b43177b8352ca53cd5d99b09878602b07c690185304d23aadd9412
bottles_ubuntu-latest
2.46 MB
sha256:2dcf55197c9836c2346570f83873e97775d20d4abc6b86492ab22541679228e8
logs_14-arm64-23958067482
86.4 KB
sha256:bfe3ca16d31cd7c486416e0a479d5cc604203c8eb7bab5fd0355ca4083d2554d
logs_14-x86_64-23958067482
85.6 KB
sha256:1a0c16d17c4f20273a41785a881930d9b6b2176bf300c74637e93e982a360b22
logs_15-arm64-23958067482
85.8 KB
sha256:02ac7469083e8ddf568207a519915100a6e1ee1e6fa75f14013ea820b31ab42c
logs_26-arm64-23958067482
85.8 KB
sha256:0c18173e059eeaa23f8b08756f654feb621f4103e1a085d4bc36bbafc22b3c57
logs_macos-14
308 Bytes
sha256:c6b499c0d93b61c137627824a36b8bb0b99f4c66ebb0a1902c4835df2095c426
logs_macos-15
308 Bytes
sha256:e328df1ca046b4b3a05fc070614d8d3426d492a0bc1fb82bb4c2d86512b8e7fa
logs_macos-26
308 Bytes
sha256:e523bdb92e2f2f437a9b23288e1e06dd59d3bc37ac142147b6635dbb2dfdca57
logs_ubuntu-22.04-arm
89.5 KB
sha256:8421f46e94ef9ead07d75f38d45e2c9d52ce83f588b8afaa446bb2a013dede9a
logs_ubuntu-latest
89.5 KB
sha256:1f8825080aa43d50d30b6d469a1c164b254812512d2798316e163dd37e85627e
logs_ubuntu-latest-deps
312 Bytes
sha256:a0814c71c8ef6849470f575d35daee2977988d7c9565ea6b492edce5ab16f6a3