ci: Check Kani proofs

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Oct 7, 2023 · 8e90b88 · 8e90b88
1 parent cd2435d
commit 8e90b88
Showing 1 changed file with 8 additions and 1 deletion.
diff --git 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