Merge branch 'main' into ARM_Crx_No_GIC_Demo

kar-rahul-aws · Aug 5, 2024 · 559e17c · 559e17c
2 parents e707614 + c1d2ba9
commit 559e17c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -168,6 +168,8 @@ jobs:
 
  - name: Set up CBMC runner
  uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@main
+ with:
+ cbmc_version: "5.95.1"
 
  - name: Run CBMC
  uses: FreeRTOS/CI-CD-Github-Actions/run_cbmc@main