Swap snark-verifier for halo2-solidity-verifier (#238)

electisec · Dec 20, 2023 · b832e5e · b832e5e
1 parent 123598e
commit b832e5e
Show file tree

Hide file tree

Showing 26 changed files with 42,239 additions and 50,614 deletions.
diff --git a/.github/workflows/contracts.yml b/.github/workflows/contracts.yml
@@ -14,13 +14,10 @@ jobs:
       - uses: actions/checkout@v3
       - name: Install packages
         uses: actions/setup-node@v3
-        with:
-          #Remove the restriction as soon as this is resolved: https://github.com/NomicFoundation/hardhat/issues/3877
-          node-version: "18.15"
       - run: |
           cd contracts
           npm ci
       - name: Run Tests
         run: |
           cd contracts
-          npx hardhat node & npx hardhat coverage
+          npx hardhat node & npx hardhat test