vacp2p
/
rln-contract
mirror of https://github.com/vacp2p/rln-contract.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

chore: disable pnpm verify

This commit is contained in:
rymnc 2023-12-05 15:08:28 +05:30
parent 443cbfc9c4
commit 855b40975f
No known key found for this signature in database
GPG Key ID: AAA088D5C68ECD34
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/ci.yml vendored
View File

@ -160,6 +160,8 @@ jobs:
echo "## Coverage result" >> $GITHUB_STEP_SUMMARY echo "## Coverage result" >> $GITHUB_STEP_SUMMARY
echo "✅ Uploaded to Codecov" >> $GITHUB_STEP_SUMMARY echo "✅ Uploaded to Codecov" >> $GITHUB_STEP_SUMMARY
verify: verify:
# TODO: Write Rln certora spec
if: false
needs: ["lint", "build"] needs: ["lint", "build"]
runs-on: ubuntu-latest runs-on: ubuntu-latest

2
certora/specs/Rln.spec
View File

@ -5,5 +5,5 @@ methods {
rule checkDefaultRootIsCorrect { rule checkDefaultRootIsCorrect {
uint256 defaultRoot = 15019797232609675441998260052101280400536945603062888308240081994073687793470; uint256 defaultRoot = 15019797232609675441998260052101280400536945603062888308240081994073687793470;
assert root() == input; assert root() == defaultRoot;
} }