Contracts: document use of __CPROVER_loop_entry with arrays #10489
Triggered via pull request
September 24, 2024 20:36
Status
Success
Total duration
1h 9m 13s
Artifacts
–
pull-request-checks.yaml
on: pull_request
check-ubuntu-20_04-make-gcc
18m 12s
check-ubuntu-20_04-make-clang
23m 8s
check-ubuntu-20_04-make-clang-smt-z3
3m 59s
check-ubuntu-20_04-cmake-gcc
17m 10s
check-ubuntu-22_04-make-clang
16m 48s
check-ubuntu-22_04-cmake-gcc
15m 9s
check-ubuntu-24_04-cmake-gcc-14
14m 12s
check-ubuntu-22_04-cmake-gcc-32bit
14m 55s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
3m 8s
check-ubuntu-20_04-cmake-gcc-THOROUGH
9m 37s
check-macos-13-make-clang
26m 16s
check-macos-12-cmake-clang
1h 8m
check-vs-2019-cmake-build-and-test
31m 14s
check-vs-2022-make-build-and-test
18m 45s
windows-msi-package
4m 16s
check-string-table
2m 11s
check-docker-image
20m 17s
include-what-you-use
22m 52s
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.
|