Skip to content
Build and Test CBMC

Merge pull request #8109 from NlightNFotis/no_unwinding_assertions #9296

Sign in to view logs

Merge pull request #8109 from NlightNFotis/no_unwinding_assertions

Merge pull request #8109 from NlightNFotis/no_unwinding_assertions #9296

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-ubuntu-20_04-make-gcc
15m 10s
check-ubuntu-20_04-make-clang
22m 20s
check-ubuntu-20_04-make-clang-smt-z3
3m 32s
check-ubuntu-20_04-cmake-gcc
20m 8s
check-ubuntu-22_04-make-clang
16m 40s
check-ubuntu-22_04-cmake-gcc
18m 18s
check-ubuntu-22_04-cmake-gcc-13
18m 19s
check-ubuntu-22_04-cmake-gcc-32bit
19m 29s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
2m 35s
check-ubuntu-20_04-cmake-gcc-THOROUGH
8m 0s
check-macos-11-make-clang
36m 40s
check-macos-12-cmake-clang
1h 15m 21s
check-string-table
2m 36s
check-vs-2019-cmake-build-and-test
54m 20s
check-vs-2022-make-build-and-test
46m 3s
windows-msi-package
15m 9s
check-docker-image
20m 17s
codecov-coverage-report
24m 9s
include-what-you-use
26m 23s
7h 25m 29s