Skip to content
Build and Test HW-CBMC

Merge pull request #1178 from diffblue/smv_ltlspec_FG1 #4253

Sign in to view logs

Merge pull request #1178 from diffblue/smv_ltlspec_FG1

Merge pull request #1178 from diffblue/smv_ltlspec_FG1 #4253

Triggered via push June 30, 2025 19:08
@tautschnigtautschnig
pushed 14416f0
main
Status Success
Total duration 7m 28s
Artifacts 2

pull-request-checks.yaml

on: push
check-ubuntu-24_04-make-clang
3m 27s
check-ubuntu-24_04-make-clang
check-ubuntu-24_04-make-gcc
2m 10s
check-ubuntu-24_04-make-gcc
CentOS 8
58s
CentOS 8
check-macos-15-make-clang
1m 50s
check-macos-15-make-clang
Emscripten build
1m 33s
Emscripten build
check-vs-2022-make-build-and-test
2m 6s
check-vs-2022-make-build-and-test
benchmarking
3m 54s
benchmarking
ebmc-spot
36s
ebmc-spot
examples
12s
examples
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.73 MB
sha256:95bd1d023421823625f72752b2dffc7a3e8fab7b2079e0ab1411c0f6e59fa3c2
vlindex-binary Expired
804 KB
sha256:70991642aa383042cc191be81aba561a518fa883a8c6e68b60c8326ed614c51a