Skip to content
Build and Test HW-CBMC

Property description now taken from front-end #1937

Sign in to view logs

Property description now taken from front-end

Property description now taken from front-end #1937

Triggered via pull request June 24, 2024 15:47
@kroeningkroening
synchronize #571
property-description
Status Failure
Total duration 1m 50s
Artifacts –

pull-request-checks.yaml

on: pull_request
check-ubuntu-20_04-make-gcc
1m 6s
check-ubuntu-20_04-make-gcc
check-ubuntu-20_04-make-clang
1m 43s
check-ubuntu-20_04-make-clang
CentOS 8
1m 36s
CentOS 8
check-macos-14-make-clang
1m 12s
check-macos-14-make-clang
Emscripten build
1m 2s
Emscripten build
Fit to window
Zoom out
Zoom in

Annotations

4 errors
check-ubuntu-20_04-make-gcc
Process completed with exit code 2.
check-macos-14-make-clang
Process completed with exit code 2.
CentOS 8
Process completed with exit code 2.
check-ubuntu-20_04-make-clang
Process completed with exit code 2.