install_cbmc.sh: install as package if building from source (#2878) #5689

Sign in to view logs

Triggered via push November 18, 2023 22:18

Status Success

Total duration 28m 23s

Artifacts –

kani.yml

on: push

write-json-symtab-regression

benchcomp-tests

Matrix: regression