Skip to content

Commit

Permalink
chore: work-around echidna ci issue
Browse files Browse the repository at this point in the history
  • Loading branch information
sandybradley committed Jul 31, 2023
1 parent 41be0fe commit 404642d
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion .github/workflows/echidna.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,7 @@ env:
jobs:
test:
runs-on: ubuntu-latest
continue-on-error: true
steps:
- name: Checkout repository
uses: actions/checkout@v3
Expand All @@ -26,7 +27,7 @@ jobs:
- name: Compile contracts
run: |
forge build --build-info
- name: Run Echidna
uses: crytic/echidna-action@v2
with:
Expand Down

0 comments on commit 404642d

Please sign in to comment.