Reword documentation of __CPROVER_{r,w,rw}_ok #10491
Triggered via pull request
September 25, 2024 11:36
Status
Failure
Total duration
47m 14s
Artifacts
–
pull-request-checks.yaml
on: pull_request
check-ubuntu-20_04-make-gcc
21m 0s
check-ubuntu-20_04-make-clang
25m 37s
check-ubuntu-20_04-make-clang-smt-z3
6m 55s
check-ubuntu-20_04-cmake-gcc
19m 26s
check-ubuntu-22_04-make-clang
20m 20s
check-ubuntu-22_04-cmake-gcc
18m 19s
check-ubuntu-24_04-cmake-gcc-14
9m 36s
check-ubuntu-22_04-cmake-gcc-32bit
15m 16s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
4m 32s
check-ubuntu-20_04-cmake-gcc-THOROUGH
11m 20s
check-macos-13-make-clang
30m 38s
check-macos-12-cmake-clang
46m 58s
check-vs-2019-cmake-build-and-test
31m 21s
check-vs-2022-make-build-and-test
17m 53s
windows-msi-package
5m 1s
check-string-table
2m 13s
check-docker-image
22m 6s
include-what-you-use
24m 28s
Annotations
1 error and 4 warnings
check-ubuntu-24_04-cmake-gcc-14
Process completed with exit code 100.
|
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.
|