Merge pull request #7777 from esteffin/new_cbmc_release-5.86.0 #8311
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
pull-request-checks.yaml
on: push
check-ubuntu-20_04-make-gcc
56m 15s
check-ubuntu-20_04-make-clang
45m 52s
check-ubuntu-20_04-make-clang-smt-z3
22m 28s
check-ubuntu-20_04-cmake-gcc
50m 28s
check-ubuntu-22_04-make-clang
56m 41s
check-ubuntu-22_04-cmake-gcc
47m 26s
check-ubuntu-22_04-cmake-gcc-12
1h 8m
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
24m 22s
check-ubuntu-20_04-cmake-gcc-THOROUGH
35m 42s
check-macos-11-make-clang
1h 27m
check-macos-12-cmake-clang
1h 26m
check-vs-2019-cmake-build-and-test
1h 16m
check-vs-2022-make-build-and-test
1h 4m
windows-msi-package
32m 9s
check-string-table
3m 52s
check-docker-image
29m 2s
include-what-you-use
29m 7s
codecov-coverage-report
1h 36m