Skip to content

Commit

Permalink
corpus caching + coverage upload as artifact
Browse files Browse the repository at this point in the history
  • Loading branch information
coolhill committed Feb 28, 2022
1 parent cb4dc2a commit 19bd450
Showing 1 changed file with 13 additions and 1 deletion.
14 changes: 13 additions & 1 deletion .github/workflows/echidna.yml
Original file line number Diff line number Diff line change
Expand Up @@ -29,11 +29,23 @@ jobs:
- run: yarn install
- run: yarn run hardhat compile

- name: Cache ${{ matrix.test }} corpus
uses: actions/cache@v2
with:
path: corpus
key: abi-${{ matrix.test }}-v2

- name: Run Echidna
uses: crytic/echidna-action@v1
with:
solc-version: 0.8.10
files: .
contract: ${{ matrix.test }}
crytic-args: --hardhat-ignore-compile
config: contracts/echidna/${{ matrix.test }}.yml
config: contracts/echidna/${{ matrix.test }}.yml

- name: Upload ${{ matrix.test }} coverage
uses: actions/upload-artifact@v2
with:
name: coverage-${{ matrix.test }}
path: corpus/covered.*

0 comments on commit 19bd450

Please sign in to comment.