Build and Test CBMC

Clarify usage of history variables in error messages #10501

Sign in to view logs

Triggered via pull request October 2, 2024 14:26

qinheping

reopened #8456

qinheping:issues/8453

Status Success

Total duration 36m 51s

Artifacts –

pull-request-checks.yaml

on: pull_request

check-ubuntu-20_04-make-gcc

check-ubuntu-20_04-make-clang

check-ubuntu-20_04-make-clang-smt-z3

check-ubuntu-20_04-cmake-gcc

check-ubuntu-22_04-make-clang

check-ubuntu-22_04-cmake-gcc

check-ubuntu-24_04-cmake-gcc-14

check-ubuntu-22_04-cmake-gcc-32bit

check-ubuntu-20_04-cmake-gcc-KNOWNBUG

check-ubuntu-20_04-cmake-gcc-THOROUGH

check-macos-13-make-clang

check-macos-12-cmake-clang

check-vs-2019-cmake-build-and-test

check-vs-2022-make-build-and-test

windows-msi-package

check-string-table

check-docker-image

include-what-you-use

Annotations

6 warnings

check-macos-12-cmake-clang

Treating cmake as a formula. For the cask, use homebrew/cask/cmake or specify the `--cask` flag. To silence this message, use the `--formula` 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

ninja 1.12.1 is already installed and up-to-date. To reinstall 1.12.1, run: brew reinstall ninja

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

bison 3.8.2 is already installed and up-to-date. To reinstall 3.8.2, run: brew reinstall bison

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.