Skip to content

Commit

Permalink
Generate patches
Browse files Browse the repository at this point in the history
  • Loading branch information
ernestognw committed Jan 12, 2024
1 parent b662811 commit b33f5bc
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion .github/workflows/checks.yml
Original file line number Diff line number Diff line change
Expand Up @@ -103,7 +103,9 @@ jobs:
- name: Set up environment
uses: ./.github/actions/setup
- name: Compile harnesses
run: npm run compile:harnesses
run: |
make -C certora apply
npm run compile:harnesses

slither:
runs-on: ubuntu-latest
Expand Down

0 comments on commit b33f5bc

Please sign in to comment.