From 8e90b88bd378f04c2c02074ce4f5460be26a57c7 Mon Sep 17 00:00:00 2001 From: Nick Spinale Date: Fri, 6 Oct 2023 10:43:19 +0000 Subject: [PATCH] ci: Check Kani proofs Signed-off-by: Nick Spinale --- .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