Skip to content
Build and Test CBMC

format_type can now format range_typet #10494

Sign in to view logs

format_type can now format range_typet

format_type can now format range_typet #10494

Triggered via pull request September 25, 2024 14:20
@kroeningkroening
opened #8473
format-range_typet
Status Failure
Total duration 51m 29s
Artifacts –

pull-request-checks.yaml

on: pull_request
check-ubuntu-20_04-make-gcc
2m 1s
check-ubuntu-20_04-make-gcc
check-ubuntu-20_04-make-clang
4m 50s
check-ubuntu-20_04-make-clang
check-ubuntu-20_04-make-clang-smt-z3
4m 1s
check-ubuntu-20_04-make-clang-smt-z3
check-ubuntu-20_04-cmake-gcc
17m 52s
check-ubuntu-20_04-cmake-gcc
check-ubuntu-22_04-make-clang
57s
check-ubuntu-22_04-make-clang
check-ubuntu-22_04-cmake-gcc
15m 33s
check-ubuntu-22_04-cmake-gcc
check-ubuntu-24_04-cmake-gcc-14
15m 13s
check-ubuntu-24_04-cmake-gcc-14
check-ubuntu-22_04-cmake-gcc-32bit
14m 32s
check-ubuntu-22_04-cmake-gcc-32bit
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
3m 12s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
check-ubuntu-20_04-cmake-gcc-THOROUGH
9m 49s
check-ubuntu-20_04-cmake-gcc-THOROUGH
check-macos-13-make-clang
30m 36s
check-macos-13-make-clang
check-macos-12-cmake-clang
43m 25s
check-macos-12-cmake-clang
check-vs-2019-cmake-build-and-test
51m 7s
check-vs-2019-cmake-build-and-test
check-vs-2022-make-build-and-test
3m 0s
check-vs-2022-make-build-and-test
windows-msi-package
25m 41s
windows-msi-package
check-string-table
2m 7s
check-string-table
check-docker-image
21m 4s
check-docker-image
include-what-you-use
23m 25s
include-what-you-use
Fit to window
Zoom out
Zoom in

Annotations

5 errors and 4 warnings
check-ubuntu-22_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-make-clang
Process completed with exit code 2.
check-macos-13-make-clang
Process completed with exit code 2.
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.