diff --git a/.github/workflows/echidna.yml b/.github/workflows/echidna.yml new file mode 100644 index 00000000..919ba674 --- /dev/null +++ b/.github/workflows/echidna.yml @@ -0,0 +1,28 @@ +name: Echidna Test + +on: + push: + branches: [ test ] + +jobs: + build: + runs-on: ubuntu-latest + steps: + - name: Checkout repository + uses: actions/checkout@v3 + - name: Use Node.js 16 + uses: actions/setup-node@v2 + with: + node-version: 16 + cache: 'npm' + - name: Install dependencies + run: npm ci + - name: Compile contracts + run: npx hardhat compile + - name: Run Echidna + uses: crytic/echidna-action@v2 + with: + solc-version: 0.7.6 + files: . + # contract: + crytic-args: --hardhat-ignore-compile \ No newline at end of file