fix(ci): remove unused jobs

.github/PULL_REQUEST_TEMPLATE.md

@@ -8,4 +8,3 @@ Ensure you completed **all of the steps** below before submitting your pull requ
 
 - [ ] Added natspec comments?
 - [ ] Ran `pnpm adorno`?
-- [ ] Ran `pnpm verify`?

.github/workflows/ci.yml

@@ -1,7 +1,6 @@
 name: "CI"
 
 env:
-  API_KEY_ALCHEMY: ${{ secrets.API_KEY_ALCHEMY }}
   FOUNDRY_PROFILE: "ci"
 
 on:
@@ -121,51 +120,3 @@ jobs:
         run: |
           echo "## Coverage result" >> $GITHUB_STEP_SUMMARY
           echo "✅ Uploaded to Codecov" >> $GITHUB_STEP_SUMMARY
-  verify:
-    needs: ["lint", "build"]
-    runs-on: ubuntu-latest
-
-    steps:
-      - uses: actions/checkout@v3
-        with:
-          submodules: recursive
-
-      - name: Install Python
-        uses: actions/setup-python@v2
-        with: { python-version: 3.9 }
-
-      - name: Install Java
-        uses: actions/setup-java@v1
-        with: { java-version: "11", java-package: jre }
-
-      - name: Install Certora CLI
-        run: pip3 install certora-cli==5.0.5
-
-      - name: Install Solidity
-        run: |
-          wget https://github.com/ethereum/solidity/releases/download/v0.8.19/solc-static-linux
-          chmod +x solc-static-linux
-          sudo mv solc-static-linux /usr/local/bin/solc
-
-      - name: "Install Pnpm"
-        uses: "pnpm/action-setup@v2"
-        with:
-          version: "8"
-
-      - name: "Install Node.js"
-        uses: "actions/setup-node@v3"
-        with:
-          cache: "pnpm"
-          node-version: "lts/*"
-
-      - name: "Install the Node.js dependencies"
-        run: "pnpm install"
-
-      - name: Verify rules
-        run: "pnpm verify"
-        env:
-          CERTORAKEY: ${{ secrets.CERTORAKEY }}
-
-    strategy:
-      fail-fast: false
-      max-parallel: 16

README.md

@@ -8,8 +8,8 @@
 [license-badge]: https://img.shields.io/badge/License-MIT-blue.svg
 
 Waku's RLNv2 contracts, which include -
-- LazyIMT, which allows the root of the chain to be accessible on-chain.
 
+- LazyIMT, which allows the root of the chain to be accessible on-chain.
 
 ## What's Inside
 

package.json

@@ -24,7 +24,6 @@
   "scripts": {
     "clean": "rm -rf cache out",
     "lint": "pnpm lint:sol && pnpm prettier:check",
-    "verify": "certoraRun certora/certora.conf",
     "lint:sol": "forge fmt --check && pnpm solhint {script,src,test,certora}/**/*.sol",
     "prettier:check": "prettier --check **/*.{json,md,yml} --ignore-path=.prettierignore",
     "prettier:write": "prettier --write **/*.{json,md,yml} --ignore-path=.prettierignore",