Build and Test HW-CBMC

Fix ebmc release workflow #1866

Sign in to view logs

Triggered via pull request June 18, 2024 13:00

kroening

opened #557

ebmc-packages-fixup11

Status Success

Total duration 2m 10s

Artifacts –

pull-request-checks.yaml

on: pull_request

check-ubuntu-20_04-make-gcc

check-ubuntu-20_04-make-clang

check-macos-14-make-clang