Bump versions of upload-pages and deploy-pages.

The old versions are due to be deprecated.
CHERIoT-Platform · Dec 26, 2024 · f64e5ca · f64e5ca
1 parent 2015e1c
commit f64e5ca
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml
@@ -41,7 +41,7 @@ jobs:
         name: cheriot_sim
         path: install/
     - name: Upload pages artifact
-      uses: actions/upload-pages-artifact@v2
+      uses: actions/upload-pages-artifact@v3
 
   deploy:
     # Run only when landing, not as part of a PR
@@ -61,4 +61,4 @@ jobs:
     steps:
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v2
+        uses: actions/deploy-pages@v4