Build and Test HW-CBMC

CI: bump vCPU use and macOS version #1861

Sign in to view logs

Triggered via pull request June 16, 2024 17:28

kroening

synchronize #555

CI-vCPUs

Status Success

Total duration 8m 28s

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