Add goto-bmc
, a new tool to run only the verifier
#8344
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
pull-request-checks.yaml
on: pull_request
check-ubuntu-20_04-make-gcc
24m 53s
check-ubuntu-20_04-make-clang
38m 10s
check-ubuntu-20_04-make-clang-smt-z3
7m 53s
check-ubuntu-20_04-cmake-gcc
27m 24s
check-ubuntu-22_04-make-clang
25m 2s
check-ubuntu-22_04-cmake-gcc
55m 50s
check-ubuntu-22_04-cmake-gcc-12
28m 46s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
3m 35s
check-ubuntu-20_04-cmake-gcc-THOROUGH
11m 53s
check-macos-11-make-clang
38m 24s
check-macos-12-cmake-clang
53m 43s
check-vs-2019-cmake-build-and-test
47m 2s
check-vs-2022-make-build-and-test
28m 29s
windows-msi-package
31m 24s
check-string-table
3m 20s
check-docker-image
32m 23s
include-what-you-use
39m 32s
codecov-coverage-report
53m 39s