SMT2: implement cond #10484
pull-request-checks.yaml
on: pull_request
check-ubuntu-20_04-make-gcc
32m 38s
check-ubuntu-20_04-make-clang
31m 2s
check-ubuntu-20_04-make-clang-smt-z3
13m 1s
check-ubuntu-20_04-cmake-gcc
29m 37s
check-ubuntu-22_04-make-clang
30m 42s
check-ubuntu-22_04-cmake-gcc
26m 19s
check-ubuntu-24_04-cmake-gcc-14
45m 2s
check-ubuntu-22_04-cmake-gcc-32bit
26m 56s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
16m 43s
check-ubuntu-20_04-cmake-gcc-THOROUGH
22m 13s
check-macos-13-make-clang
57m 1s
check-macos-12-cmake-clang
59m 39s
check-vs-2019-cmake-build-and-test
46m 19s
check-vs-2022-make-build-and-test
34m 29s
windows-msi-package
19m 13s
check-string-table
2m 8s
check-docker-image
20m 27s
include-what-you-use
22m 41s
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.
|