From 26f7f6987172a9e59df04efd824f6b5b8d096254 Mon Sep 17 00:00:00 2001
From: Soren Ptak <ptaksoren@gmail.com>
Date: Fri, 18 Aug 2023 10:54:05 -0700
Subject: [PATCH] Accidentally removed the proofs evidently

---
 .github/workflows/ci.yml | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 78afe7ec4..708b518f1 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -182,3 +182,14 @@ jobs:
         with:
           path: ./
           fail-on-incorrect-version: true
+
+  proof_ci:
+    if: ${{ github.event.pull_request }}
+    runs-on: cbmc_ubuntu-latest_64-core
+    steps:
+      - 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: test/cbmc/proofs