Skip to content

Fix nightly jobs running CBMC latest on the perf suite #2954

Closed
adpaco wants to merge 1 commit into
model-checking:mainfrom
adpaco:issue-2952-1
Closed

Fix nightly jobs running CBMC latest on the perf suite #2954
adpaco wants to merge 1 commit into
model-checking:mainfrom
adpaco:issue-2952-1

Change how CBMC is built

5bced45
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs