GitHub workflow: bump actions versions

Author: mebeim

.github/workflows/deploy.yml

@@ -28,19 +28,19 @@ jobs:
       url: ${{ steps.deployment.outputs.page_url }}
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
       - name: Install build dependencies
         run: python3 -m pip install --upgrade fonttools[woff]
       - name: Build web DB
         run: ./scripts/build_web_db.py
       - name: Build web fonts
         run: ./scripts/build_web_fonts.sh
       - name: Setup Pages
-        uses: actions/configure-pages@v3
+        uses: actions/configure-pages@v4
       - name: Upload Pages artifact
-        uses: actions/upload-pages-artifact@v1
+        uses: actions/upload-pages-artifact@v3
         with:
           path: './www'
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v1
+        uses: actions/deploy-pages@v4