Build and Test CBMC

update_bits_exprt #9561

Sign in to view logs

Triggered via pull request February 4, 2024 19:56

kroening

synchronize #8182

update_bits_exprt

Status Failure

Total duration 51m 54s

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-22_04-cmake-gcc-13

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

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

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

check-macos-11-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

codecov-coverage-report

Annotations

1 error and 4 warnings

include-what-you-use

Process completed with exit code 1.

windows-msi-package

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: microsoft/setup-msbuild@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

codecov-coverage-report

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: codecov/codecov-action@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

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

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: microsoft/setup-msbuild@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

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

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: microsoft/setup-msbuild@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.