Skip to content

Commit

Permalink
ci: Check Kani proofs
Browse files Browse the repository at this point in the history
Signed-off-by: Nick Spinale <[email protected]>
  • Loading branch information
nspin committed Oct 6, 2023
1 parent 715a908 commit 0505be2
Showing 1 changed file with 8 additions and 1 deletion.
9 changes: 8 additions & 1 deletion .github/workflows/push.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 0505be2

Please sign in to comment.