diff options
Diffstat (limited to '.github/workflows/ci.yml')
-rw-r--r-- | .github/workflows/ci.yml | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 24e630380..5887c1172 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -172,7 +172,17 @@ jobs: path: ./freertos_lts_memory_estimates.json retention-days: 2 - - - - + proof_ci: + runs-on: cbmc_ubuntu-latest_16-core + steps: + - uses: actions/checkout@v2 + - run: | + git submodule update --init --checkout --recursive --depth 1 + sudo apt-get update + sudo apt-get install --yes --no-install-recommends gcc-multilib + - name: Set up CBMC runner + uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@main + - name: Run CBMC + uses: FreeRTOS/CI-CD-Github-Actions/run_cbmc@main + with: + proofs_dir: FreeRTOS/Test/CBMC/proofs |