Mark CBMC cbmc-5.88.0. #8428
pull-request-checks.yaml
on: pull_request
check-ubuntu-20_04-make-gcc
22m 45s
check-ubuntu-20_04-make-clang
30m 50s
check-ubuntu-20_04-make-clang-smt-z3
5m 38s
check-ubuntu-20_04-cmake-gcc
31m 22s
check-ubuntu-22_04-make-clang
25m 42s
check-ubuntu-22_04-cmake-gcc
1h 0m
check-ubuntu-22_04-cmake-gcc-12
27m 57s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
4m 14s
check-ubuntu-20_04-cmake-gcc-THOROUGH
10m 46s
check-macos-11-make-clang
41m 42s
check-macos-12-cmake-clang
54m 46s
check-vs-2019-cmake-build-and-test
1h 15m
check-vs-2022-make-build-and-test
1h 13m
windows-msi-package
32m 32s
check-string-table
3m 49s
check-docker-image
35m 26s
include-what-you-use
40m 56s
codecov-coverage-report
1h 5m