From fe78dfb45e4ca6199ff18f254527c9a78e0439f0 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 14bd37e1..f78f4726 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -161,7 +161,7 @@ jobs: runs-on: cbmc_ubuntu-latest_64-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 with: kissat_tag: latest cbmc_version: "5.73.0" @@ -170,6 +170,6 @@ jobs: sudo apt-get update sudo apt-get install --yes --no-install-recommends gcc-multilib build-essential - 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