Skip to content

Commit

Permalink
chore: ci echidna add solc version
Browse files Browse the repository at this point in the history
  • Loading branch information
sandybradley committed Aug 1, 2023
1 parent 4a546e4 commit bbad294
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 7 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/echidna.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,6 @@ env:
jobs:
test:
runs-on: ubuntu-latest
continue-on-error: true
steps:
- name: Checkout repository
uses: actions/checkout@v3
Expand All @@ -24,4 +23,5 @@ jobs:
with:
files: test/echidna/ERC4626-echidna.t.sol
contract: CryticERC4626Harness
solc-version: 0.8.19
config: test/echidna/echidna.config.yaml
7 changes: 1 addition & 6 deletions .github/workflows/foundry-forge-tests.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -44,15 +44,10 @@ jobs:

- name: Run Forge tests
run: |
forge test --deny-warnings --etherscan-api-key $ETHERSCAN_API_KEY -vvv
forge test --deny-warnings -vvv
id: test

- name: Coverage
run: |
forge coverage
id: coverage

- name: Gas snapshot
run: |
forge snapshot --gas-report --diff
id: snapshot

0 comments on commit bbad294

Please sign in to comment.