Skip to content

cryptominisat 5.14.3 #772382

cryptominisat 5.14.3

cryptominisat 5.14.3 #772382

Triggered via pull request April 4, 2026 02:46
Status Success
Total duration 24m 2s
Artifacts 24

tests.yml

on: pull_request
formulae_detect
43s
formulae_detect
Matrix: tap_syntax
setup_tests
9s
setup_tests
report_analytics
9s
report_analytics
setup_runners
38s
setup_runners
setup_dep_tests
7s
setup_dep_tests
Matrix: tests
setup_dep_runners
2m 45s
setup_dep_runners
Matrix: test_deps
conclusion
3s
conclusion
Fit to window
Zoom out
Zoom in

Annotations

49 notices
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
1 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
1 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
1 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
1 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
1 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
1 bottle(s)
Linux arm64 (deps)
1 list(s) of successfully tested dependents
Linux arm64 (deps)
2 list(s) of skipped formulae
Linux arm64 (deps)
0 failed bottle(s)
Linux arm64 (deps)
2 bottle(s)
macOS 14-arm64 (deps)
1 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)
1 bottle(s)
macOS 15-arm64 (deps)
1 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)
1 bottle(s)
Linux x86_64 (deps)
1 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)
2 bottle(s)
macOS 26-arm64 (deps)
1 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)
1 bottle(s)
macOS 14-x86_64 (deps)
1 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)
1 bottle(s)
conclusion
`tests` job status: success

Artifacts

Produced during runtime
Name Size Digest
bottles_14-arm64-23969692227
930 KB
sha256:160b8c0e02df6f5cceef55cf8bdecc5eaead7072d44ef6cff1bf33e0701d5918
bottles_14-x86_64-23969692227
993 KB
sha256:ee65e2d8c6c59b03db8a1409d69b118b4a75917978f2d67b10718fe7d36a5fa8
bottles_15-arm64-23969692227
924 KB
sha256:b7b6e2f0b175216fcde3fdd89a64c45379a9c431af6d2e8e1785e73612895bb4
bottles_26-arm64-23969692227
877 KB
sha256:7f6f85e9a1f64a4792293e560399e35a295d059c26f8e2bf6c9127f4a3ceef63
bottles_ubuntu-22.04-arm
1.13 MB
sha256:13afd6d38e172d5921be7d9dbb36b636e128639ffa8e66beeda11539c8290e28
bottles_ubuntu-latest
1.2 MB
sha256:7cecea347b9a80e57239a5465133d5310980b056eed42cf5423e7a0f421654c9
dependents_14-x86_64-23969692227-deps
181 Bytes
sha256:ad6e8d24f0635057b7a709cf5baa87794bae57b21158002f7bc4fec123e0c14d
dependents_macos-14
193 Bytes
sha256:b3fa9718a0baddd8e5623909db5c720e6945982fb7494dc0932f73e42b00ded0
dependents_macos-15
195 Bytes
sha256:60bf2de0b45bbda3838cd5ac56f15c823e0f4b3ae158b7a4c43e16c5e444e6c3
dependents_macos-26
191 Bytes
sha256:75c19a4534c88a7bc46a0c809ac58264d0296ae51508d68349f835d3806a2a39
dependents_ubuntu-22.04-arm-deps
186 Bytes
sha256:9d09483c658889d7f20a3c00e1baf244345d6dedf8805508bb00de404b5e9ed5
dependents_ubuntu-latest-deps
193 Bytes
sha256:dc293b23261d2bc63051ae824c23f736706e4a220502a829abf5aa13e875af45
logs_14-arm64-23969692227
38.8 KB
sha256:38fdcd99da9aee3ac9fc525c92c4962474b2dea6a39b9c941366df7e2f5954ee
logs_14-x86_64-23969692227
38.3 KB
sha256:b9e3156832f01a584821207be383da75c214db15dcafea820022fb0c137d25ca
logs_14-x86_64-23969692227-deps
989 Bytes
sha256:46ca68ade21d3ebd1356fdcd4b16ca0fc3123f7e0237bf6450ca8c0afd1fa9d3
logs_15-arm64-23969692227
38.7 KB
sha256:cad10b90f0964e314c5b6f5a03ad6608230771e2f1bdb083b4926d74e72a5e69
logs_26-arm64-23969692227
38.8 KB
sha256:f67555bd15947f89a1465e043d2c1ba1210211d0f9e908ad45488787731d4326
logs_macos-14
996 Bytes
sha256:1ad7333f2e55eeadb08a5a6436dabfbb24e45b0b2d9827f5fc90b10a62f4852c
logs_macos-15
995 Bytes
sha256:fa33ed621e706ed48cc114139b3aa86604d0a91c1722b6df8745fba755cf3aaf
logs_macos-26
1.06 KB
sha256:e4a1b5b445f5a85a1f6a51acd73740d126c8c6b983e9cbce9d057c915909aa92
logs_ubuntu-22.04-arm
39.9 KB
sha256:eb0e88e9cb24385a7fade738b738aa728c4338d7f8d121f2a631d9fd4869ad52
logs_ubuntu-22.04-arm-deps
272 Bytes
sha256:c89f6ae3c0f1e053a6a664e54eba1cde179a7be12d1f6899cb0232d03753fee3
logs_ubuntu-latest
39.9 KB
sha256:3af19572261ca8ef0c558760c563c1ff005bbc56d199a899d1a627bb5f65d38e
logs_ubuntu-latest-deps
1011 Bytes
sha256:1dc3e82e2dc703918ca465140b688f3ef97df175606c1b9f3f312cd70acc6813