Build and Test HW-CBMC

Merge pull request #738 from diffblue/union4 #2533

Sign in to view logs

Re-run triggered September 30, 2024 16:53

tautschnig

main

Status Failure

Total duration 1m 27s

Artifacts 1

pull-request-checks.yaml

on: push

check-ubuntu-20_04-make-clang

check-ubuntu-20_04-make-gcc

check-macos-14-make-clang

Emscripten build

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

Annotations

1 error

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

Process completed with exit code 1.