Remove infinity_exprt #10487
Triggered via pull request
September 24, 2024 14:14
tautschnig
Status
Failure
Total duration
1h 1m 34s
Artifacts
–
pull-request-checks.yaml
on: pull_request
check-ubuntu-20_04-make-gcc
17m 18s
check-ubuntu-20_04-make-clang
16m 55s
check-ubuntu-20_04-make-clang-smt-z3
13m 51s
check-ubuntu-20_04-cmake-gcc
42m 27s
check-ubuntu-22_04-make-clang
16m 41s
check-ubuntu-22_04-cmake-gcc
37m 12s
check-ubuntu-24_04-cmake-gcc-14
56m 23s
check-ubuntu-22_04-cmake-gcc-32bit
39m 34s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
19m 23s
check-ubuntu-20_04-cmake-gcc-THOROUGH
24m 14s
check-macos-13-make-clang
25m 36s
check-macos-12-cmake-clang
13m 30s
check-vs-2019-cmake-build-and-test
1h 0m
check-vs-2022-make-build-and-test
20m 23s
windows-msi-package
23m 26s
check-string-table
2m 12s
check-docker-image
21m 26s
include-what-you-use
23m 18s
Annotations
13 errors and 4 warnings
|
check-macos-12-cmake-clang
Process completed with exit code 1.
|
|
check-ubuntu-22_04-make-clang
Process completed with exit code 2.
|
|
check-ubuntu-20_04-make-clang
Process completed with exit code 2.
|
|
check-ubuntu-20_04-make-gcc
Process completed with exit code 2.
|
|
check-vs-2022-make-build-and-test
Process completed with exit code 1.
|
|
check-ubuntu-20_04-cmake-gcc-THOROUGH
Process completed with exit code 8.
|
|
include-what-you-use
Process completed with exit code 1.
|
|
check-macos-13-make-clang
Process completed with exit code 6.
|
|
check-ubuntu-22_04-cmake-gcc
Process completed with exit code 8.
|
|
check-ubuntu-22_04-cmake-gcc-32bit
Process completed with exit code 8.
|
|
check-ubuntu-20_04-cmake-gcc
Process completed with exit code 8.
|
|
check-ubuntu-24_04-cmake-gcc-14
Process completed with exit code 8.
|
|
check-vs-2019-cmake-build-and-test
Process completed with exit code 1.
|
|
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.
|