CONTRACTS: Add goto-level loop-contract annotation #8373
qinheping
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
9m 50s
check-ubuntu-20_04-make-clang
22m 42s
check-ubuntu-20_04-make-clang-smt-z3
8m 20s
check-ubuntu-20_04-cmake-gcc
37m 9s
check-ubuntu-22_04-make-clang
9m 27s
check-ubuntu-22_04-cmake-gcc
28m 23s
check-ubuntu-22_04-cmake-gcc-12
26m 47s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
6m 14s
check-ubuntu-20_04-cmake-gcc-THOROUGH
11m 27s
check-macos-11-make-clang
21m 37s
check-macos-12-cmake-clang
1h 1m
check-vs-2019-cmake-build-and-test
49m 45s
check-vs-2022-make-build-and-test
32m 48s
windows-msi-package
8m 25s
check-string-table
3m 52s
check-docker-image
33m 17s
include-what-you-use
34m 16s
codecov-coverage-report
47m 56s
Annotations
11 errors
|
check-ubuntu-22_04-make-clang
Process completed with exit code 2.
|
|
check-ubuntu-20_04-make-gcc
Process completed with exit code 2.
|
|
check-macos-11-make-clang
Process completed with exit code 2.
|
|
check-ubuntu-20_04-make-clang
Process completed with exit code 2.
|
|
check-ubuntu-22_04-cmake-gcc-12
Process completed with exit code 8.
|
|
check-ubuntu-22_04-cmake-gcc
Process completed with exit code 8.
|
|
check-vs-2022-make-build-and-test
Process completed with exit code 1.
|
|
check-ubuntu-20_04-cmake-gcc
Process completed with exit code 8.
|
|
codecov-coverage-report
Process completed with exit code 2.
|
|
check-vs-2019-cmake-build-and-test
Process completed with exit code 1.
|
|
check-macos-12-cmake-clang
Process completed with exit code 8.
|