chore: disable pnpm verify

vacp2p · Dec 5, 2023 · 855b409 · 855b409
1 parent 443cbfc
commit 855b409
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -160,6 +160,8 @@ jobs:
           echo "## Coverage result" >> $GITHUB_STEP_SUMMARY
           echo "✅ Uploaded to Codecov" >> $GITHUB_STEP_SUMMARY
   verify:
+    # TODO: Write Rln certora spec
+    if: false
     needs: ["lint", "build"]
     runs-on: ubuntu-latest
 

diff --git a/certora/specs/Rln.spec b/certora/specs/Rln.spec
@@ -5,5 +5,5 @@ methods {
 rule checkDefaultRootIsCorrect {
   uint256 defaultRoot = 15019797232609675441998260052101280400536945603062888308240081994073687793470;
 
-  assert root() == input;
+  assert root() == defaultRoot;
 }