CONTRACTS: Add goto-level loop-contract annotation #8391
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
40m 46s
check-ubuntu-20_04-make-clang
34m 18s
check-ubuntu-20_04-make-clang-smt-z3
5m 4s
check-ubuntu-20_04-cmake-gcc
26m 28s
check-ubuntu-22_04-make-clang
29m 26s
check-ubuntu-22_04-cmake-gcc
30m 15s
check-ubuntu-22_04-cmake-gcc-12
39m 18s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
3m 30s
check-ubuntu-20_04-cmake-gcc-THOROUGH
12m 25s
check-macos-11-make-clang
42m 44s
check-macos-12-cmake-clang
1h 7m
check-vs-2019-cmake-build-and-test
1h 17m
check-vs-2022-make-build-and-test
35m 44s
windows-msi-package
31m 41s
check-string-table
3m 41s
check-docker-image
28m 7s
include-what-you-use
37m 57s
codecov-coverage-report
53m 9s
Annotations
2 errors
check-vs-2022-make-build-and-test
Process completed with exit code 1.
|
check-vs-2019-cmake-build-and-test
Process completed with exit code 1.
|