Skip to content

fix: Typo redundant casting (#545) #352

fix: Typo redundant casting (#545)

fix: Typo redundant casting (#545) #352

Workflow file for this run

name: "Echidna"
env:
FOUNDRY_PROFILE: "ci"
on:
workflow_dispatch:
pull_request:
push:
branches:
- "main"
- "develop"
jobs:
get_echidna_test_names:
name: Get Echidna test names
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Generate matrix with all test names from the test/echidna directory
id: set-matrix
run: |
echo "::set-output name=matrix::$(ls test/echidna | sed 's/.sol//' | jq -R -s -c 'split("\n")[:-1]')"
outputs:
matrix: ${{ steps.set-matrix.outputs.matrix }}
run_echidna_tests:
needs: get_echidna_test_names
name: Run echidna tests
runs-on: ubuntu-latest
strategy:
fail-fast: false
matrix:
contract: ${{ fromJson(needs.get_echidna_test_names.outputs.matrix) }}
steps:
- uses: actions/checkout@v3
with:
submodules: recursive
- name: "Install Node.js"
uses: "actions/setup-node@v3"
with:
cache: "yarn"
node-version: "20"
- name: "Install the Node.js dependencies"
run: "yarn install --immutable"
- name: Install Foundry
uses: foundry-rs/foundry-toolchain@v1
- name: "Build for echidna"
run: |
forge build --build-info --skip \
"test/fork/**/*" \
"test/integration/**/*" \
"test/unit/**/*" \
"test/utils/**/*" \
"contracts/**/*"
- name: "Run Echidna"
uses: crytic/echidna-action@v2
with:
files: .
contract: ${{ matrix.contract }}
config: echidna.yaml
test-mode: assertion