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