Release CBMC 6.3.0 #10472
Triggered via pull request
September 19, 2024 08:37
tautschnig
Status
Success
Total duration
47m 0s
Artifacts
–
pull-request-checks.yaml
on: pull_request
check-ubuntu-20_04-make-gcc
18m 26s
check-ubuntu-20_04-make-clang
23m 11s
check-ubuntu-20_04-make-clang-smt-z3
3m 47s
check-ubuntu-20_04-cmake-gcc
16m 54s
check-ubuntu-22_04-make-clang
17m 4s
check-ubuntu-22_04-cmake-gcc
16m 0s
check-ubuntu-24_04-cmake-gcc-14
15m 3s
check-ubuntu-22_04-cmake-gcc-32bit
14m 59s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
3m 15s
check-ubuntu-20_04-cmake-gcc-THOROUGH
10m 23s
check-macos-13-make-clang
32m 0s
check-macos-12-cmake-clang
46m 43s
check-vs-2019-cmake-build-and-test
30m 29s
check-vs-2022-make-build-and-test
18m 9s
windows-msi-package
5m 41s
check-string-table
2m 9s
check-docker-image
21m 20s
include-what-you-use
23m 19s
Annotations
4 warnings
|
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.30.3 is already installed and up-to-date.
To reinstall 3.30.3, run:
brew reinstall cmake
|
|
check-macos-12-cmake-clang
maven 3.9.9 is already installed and up-to-date.
To reinstall 3.9.9, run:
brew reinstall maven
|
|
check-macos-12-cmake-clang
You are using macOS 12.
We (and Apple) do not provide support for this old version.
It is expected behaviour that some formulae will fail to build in this old version.
It is expected behaviour that Homebrew will be buggy and slow.
Do not create any issues about this on Homebrew's GitHub repositories.
Do not create any issues even if you think this message is unrelated.
Any opened issues will be immediately closed without response.
Do not ask for help from Homebrew or its maintainers on social media.
You may ask for help in Homebrew's discussions but are unlikely to receive a response.
Try to figure out the problem yourself and submit a fix as a pull request.
We will review it but may or may not accept it.
|