From 53e17b284bea2fe86226c35dafe009550c712a4a Mon Sep 17 00:00:00 2001
From: Nick Spinale <nick@nickspinale.com>
Date: Fri, 6 Oct 2023 10:43:19 +0000
Subject: [PATCH] ci: Check Kani proofs

---
 .github/workflows/push.yaml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/push.yaml b/.github/workflows/push.yaml
index 668a10314..2a117394d 100644
--- a/.github/workflows/push.yaml
+++ b/.github/workflows/push.yaml
@@ -126,10 +126,17 @@ jobs:
         uses: actions/upload-pages-artifact@v2
         with:
           path: out/html
+  check-kani-proofs:
+    name: Check Kani proofs
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - name: Check Kani proofs
+        run: make -C hacking/kani/docker check
   deploy-docs:
     name: Deploy docs
     if: github.ref == format('refs/heads/{0}', github.event.repository.default_branch)
-    needs: [check-dependencies, build-everything]
+    needs: [check-dependencies, build-everything, check-kani-proofs]
     permissions:
       pages: write
       id-token: write