test

.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