diff --git a/.github/workflows/deploy.yaml b/.github/workflows/deploy.yaml
index 073158db..aaf4852d 100644
--- a/.github/workflows/deploy.yaml
+++ b/.github/workflows/deploy.yaml
@@ -24,7 +24,7 @@ jobs:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
     steps:
-      - uses: actions/configure-pages@v3
+      - uses: actions/configure-pages@v4
         id: setup-pages
 
       - name: Checkout gh-pages
@@ -79,7 +79,7 @@ jobs:
 
 
       - name: Upload webpage artifact
-        uses: actions/upload-pages-artifact@v3
+        uses: actions/upload-pages-artifact@v4
         with:
           path: 'combined'
 
diff --git a/.github/workflows/proof.yaml b/.github/workflows/proof.yaml
index 3c99afbe..e20f39d6 100644
--- a/.github/workflows/proof.yaml
+++ b/.github/workflows/proof.yaml
@@ -14,10 +14,10 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Setup node
-        uses: actions/setup-node@v3
+        uses: actions/setup-node@v4
         with:
           node-version: '20.5'
           cache: yarn
@@ -33,7 +33,7 @@ jobs:
 
       - name: Setup Pages
         id: setup-pages
-        uses: actions/configure-pages@v3
+        uses: actions/configure-pages@v4
 
       - name: Build webpage
         working-directory: website