Skip to content

Merge pull request #8458 from tautschnig/loop-invariants-conjunction-… #10467

Merge pull request #8458 from tautschnig/loop-invariants-conjunction-…

Merge pull request #8458 from tautschnig/loop-invariants-conjunction-… #10467

Triggered via push September 17, 2024 21:04
Status Success
Total duration 47m 8s
Artifacts
check-ubuntu-20_04-make-gcc
18m 32s
check-ubuntu-20_04-make-gcc
check-ubuntu-20_04-make-clang
22m 56s
check-ubuntu-20_04-make-clang
check-ubuntu-20_04-make-clang-smt-z3
4m 20s
check-ubuntu-20_04-make-clang-smt-z3
check-ubuntu-20_04-cmake-gcc
17m 9s
check-ubuntu-20_04-cmake-gcc
check-ubuntu-22_04-make-clang
17m 50s
check-ubuntu-22_04-make-clang
check-ubuntu-22_04-cmake-gcc
15m 12s
check-ubuntu-22_04-cmake-gcc
check-ubuntu-24_04-cmake-gcc-14
15m 44s
check-ubuntu-24_04-cmake-gcc-14
check-ubuntu-22_04-cmake-gcc-32bit
14m 35s
check-ubuntu-22_04-cmake-gcc-32bit
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
3m 11s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
check-ubuntu-20_04-cmake-gcc-THOROUGH
10m 11s
check-ubuntu-20_04-cmake-gcc-THOROUGH
check-macos-13-make-clang
27m 9s
check-macos-13-make-clang
check-macos-12-cmake-clang
46m 54s
check-macos-12-cmake-clang
check-vs-2019-cmake-build-and-test
30m 26s
check-vs-2019-cmake-build-and-test
check-vs-2022-make-build-and-test
19m 6s
check-vs-2022-make-build-and-test
windows-msi-package
22m 12s
windows-msi-package
check-string-table
2m 11s
check-string-table
check-docker-image
21m 32s
check-docker-image
include-what-you-use
22m 49s
include-what-you-use
Fit to window
Zoom out
Zoom in

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.