Skip to content
Build and Test HW-CBMC

Merge pull request #1566 from diffblue/equality1 #5640

Sign in to view logs

Merge pull request #1566 from diffblue/equality1

Merge pull request #1566 from diffblue/equality1 #5640

Triggered via push January 4, 2026 19:30
@tautschnigtautschnig
pushed b62be68
main
Status Success
Total duration 6m 45s
Artifacts 3

pull-request-checks.yaml

on: push
check-ubuntu-24_04-make-clang
2m 45s
check-ubuntu-24_04-make-clang
check-ubuntu-24_04-make-gcc
2m 23s
check-ubuntu-24_04-make-gcc
CentOS 8
1m 4s
CentOS 8
check-macos-15-make-clang
2m 3s
check-macos-15-make-clang
Emscripten build
1m 41s
Emscripten build
check-vs-2022-make-build-and-test
2m 12s
check-vs-2022-make-build-and-test
benchmarking
3m 53s
benchmarking
ebmc-spot
44s
ebmc-spot
examples
10s
examples
check-ubuntu-24_04-make-clang-KNOWNBUG
38s
check-ubuntu-24_04-make-clang-KNOWNBUG
Fit to window
Zoom out
Zoom in

Annotations

12 warnings
CentOS 8
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
CentOS 8
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
Emscripten build
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
Emscripten build
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-macos-15-make-clang
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-macos-15-make-clang
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-vs-2022-make-build-and-test
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-vs-2022-make-build-and-test
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-ubuntu-24_04-make-gcc
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-ubuntu-24_04-make-gcc
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-ubuntu-24_04-make-clang
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-ubuntu-24_04-make-clang
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.

Artifacts

Produced during runtime
Name Size Digest
ebmc-binary Expired
2.83 MB
sha256:170968544aaba773e269c4055f3d8706fc4071390311abc2820c6e4b3842c7b6
hw-cbmc-binary Expired
5.27 MB
sha256:fae2ff610ca2b36aabd99bb04a5076faa7422166a8562d6318f253c0cf284033
vlindex-binary Expired
811 KB
sha256:269399ad8eddc73874a161d7c46d6a5ae88f93c39d50c6620878aeeb8bc5954f