install_cbmc.sh: build from source on non-x86_64 #59

Sign in to view logs

Triggered via pull request November 15, 2023 10:24

bennofs

synchronize #2877

Status Success

Total duration 16s

Artifacts –

extra_jobs.yml

on: pull_request_target

Verification Benchmarks / perf-benchcomp