Skip to content
Build and Test CBMC

string_constantt typing #8916

Sign in to view logs

string_constantt typing

string_constantt typing #8916

Triggered via pull request October 18, 2023 08:26
@kroeningkroening
opened #7965
string-constant-types
Status Failure
Total duration 1h 4m 42s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

pull-request-checks.yaml

on: pull_request
check-ubuntu-20_04-make-gcc
4m 8s
check-ubuntu-20_04-make-gcc
check-ubuntu-20_04-make-clang
10m 45s
check-ubuntu-20_04-make-clang
check-ubuntu-20_04-make-clang-smt-z3
4m 52s
check-ubuntu-20_04-make-clang-smt-z3
check-ubuntu-20_04-cmake-gcc
26m 39s
check-ubuntu-20_04-cmake-gcc
check-ubuntu-22_04-make-clang
2m 59s
check-ubuntu-22_04-make-clang
check-ubuntu-22_04-cmake-gcc
20m 25s
check-ubuntu-22_04-cmake-gcc
check-ubuntu-22_04-cmake-gcc-13
19m 4s
check-ubuntu-22_04-cmake-gcc-13
check-ubuntu-22_04-cmake-gcc-32bit
24m 22s
check-ubuntu-22_04-cmake-gcc-32bit
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
8m 20s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
check-ubuntu-20_04-cmake-gcc-THOROUGH
12m 57s
check-ubuntu-20_04-cmake-gcc-THOROUGH
check-macos-11-make-clang
5m 51s
check-macos-11-make-clang
check-macos-12-cmake-clang
1h 4m
check-macos-12-cmake-clang
check-vs-2019-cmake-build-and-test
49m 33s
check-vs-2019-cmake-build-and-test
check-vs-2022-make-build-and-test
15m 12s
check-vs-2022-make-build-and-test
windows-msi-package
10m 54s
windows-msi-package
check-string-table
3m 55s
check-string-table
check-docker-image
32m 4s
check-docker-image
include-what-you-use
29m 42s
include-what-you-use
codecov-coverage-report
43m 42s
codecov-coverage-report
Fit to window
Zoom out
Zoom in

Annotations

15 errors
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-ubuntu-20_04-make-clang-smt-z3
Process completed with exit code 2.
check-macos-11-make-clang
Process completed with exit code 134.
check-ubuntu-20_04-make-clang
Process completed with exit code 2.
check-ubuntu-20_04-cmake-gcc-THOROUGH
Process completed with exit code 8.
check-vs-2022-make-build-and-test
Process completed with exit code 1.
check-ubuntu-22_04-cmake-gcc-13
Process completed with exit code 8.
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-docker-image
Process completed with exit code 139.
codecov-coverage-report
Process completed with exit code 2.
check-vs-2019-cmake-build-and-test
Process completed with exit code 1.
check-macos-12-cmake-clang
Process completed with exit code 8.