Update dependencies (#608)

* Update lalrpop * Update a bunch of deps
worldcoin · Sep 21, 2023 · cddc559 · cddc559
1 parent 4e77e94
commit cddc559
Show file tree

Hide file tree

Showing 4 changed files with 190 additions and 75 deletions.
diff --git a/.github/workflows/update-deployment.yaml b/.github/workflows/update-deployment.yaml
@@ -10,7 +10,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: 8BitJonny/gh-get-current-pr@2.1.3
+      - uses: 8BitJonny/gh-get-current-pr@2.2.0
         id: PR
       - name: Repository Dispatch
         uses: peter-evans/repository-dispatch@v2

diff --git a/Cargo.lock b/Cargo.lock