Merge pull request #8273 from tautschnig/jbmc-unwinding-assertions #24
remi-delmas-3000pull-request-checks.yaml
on: push
check-ubuntu-20_04-make-gcc
36m 50s
check-ubuntu-20_04-make-clang
33m 17s
check-ubuntu-20_04-make-clang-smt-z3
15m 2s
check-ubuntu-20_04-cmake-gcc
38m 25s
check-ubuntu-22_04-make-clang
36m 46s
check-ubuntu-22_04-cmake-gcc
38m 17s
check-ubuntu-22_04-cmake-gcc-13
11s
check-ubuntu-22_04-cmake-gcc-32bit
38m 11s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
22m 8s
check-ubuntu-20_04-cmake-gcc-THOROUGH
26m 42s
check-macos-11-make-clang
1h 19m
check-macos-12-cmake-clang
1h 4m
check-vs-2019-cmake-build-and-test
1h 5m
check-vs-2022-make-build-and-test
1h 7m
windows-msi-package
21m 20s
check-string-table
2m 33s
check-docker-image
19m 51s
include-what-you-use
26m 28s
codecov-coverage-report
59m 28s
Annotations
2 errors and 3 warnings
|
check-ubuntu-22_04-cmake-gcc-13
Process completed with exit code 100.
|
|
codecov-coverage-report
Codecov: Failed to properly create commit: The process '/home/runner/work/_actions/codecov/codecov-action/v4/dist/codecov' failed with exit code 1
|
|
check-macos-12-cmake-clang
Treating cmake as a formula. For the cask, use homebrew/cask/cmake or specify the `--cask` flag.
|
|
check-macos-12-cmake-clang
cmake 3.29.3 is already installed and up-to-date.
To reinstall 3.29.3, run:
brew reinstall cmake
|
|
check-macos-12-cmake-clang
maven 3.9.6 is already installed and up-to-date.
To reinstall 3.9.6, run:
brew reinstall maven
|