Merge pull request #7798 from tautschnig/cleanup/cleaning #18
pull-request-checks.yaml
on: push
check-ubuntu-20_04-make-gcc
28m 12s
check-ubuntu-20_04-make-clang
47m 26s
check-ubuntu-20_04-make-clang-smt-z3
22m 59s
check-ubuntu-20_04-cmake-gcc
33m 14s
check-ubuntu-22_04-make-clang
38m 28s
check-ubuntu-22_04-cmake-gcc
51m 2s
check-ubuntu-22_04-cmake-gcc-12
31m 1s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
6m 25s
check-ubuntu-20_04-cmake-gcc-THOROUGH
14m 28s
check-macos-11-make-clang
38m 49s
check-macos-12-cmake-clang
54m 56s
check-vs-2019-cmake-build-and-test
1h 31m
check-vs-2022-make-build-and-test
1h 5m
windows-msi-package
42m 25s
check-string-table
4m 7s
check-docker-image
27m 49s
include-what-you-use
28m 20s
codecov-coverage-report
1h 48m
Annotations
1 error
codecov-coverage-report
Codecov: Failed to properly upload: The process '/home/runner/work/_actions/codecov/codecov-action/v3/dist/codecov' failed with exit code 255
|