From 84bef817fc6eb272f4bfad66db1a4dad4331365d Mon Sep 17 00:00:00 2001 From: Soren Ptak Date: Mon, 21 Aug 2023 16:22:10 -0700 Subject: [PATCH] Use the mainline CBMC proof actions --- .github/workflows/ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 447dd880..b4b258e9 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -144,8 +144,8 @@ jobs: runs-on: cbmc_ubuntu-latest_16-core steps: - name: Set up CBMC runner - uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@v2 + uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@main - name: Run CBMC - uses: FreeRTOS/CI-CD-Github-Actions/run_cbmc@v2 + uses: FreeRTOS/CI-CD-Github-Actions/run_cbmc@main with: proofs_dir: test/cbmc/proofs