chore(deps): Update GitHub actions dependencies

Author: ibbem

.github/workflows/maven.yml

@@ -16,17 +16,17 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Install Nix with cached packages
-      uses: rikhuijzer/cache-install@v.1.1.3
+      uses: rikhuijzer/cache-install@v1.1.4
       with:
         key: nix-${{ hashFiles('.github/workflows/maven.yml', 'default.nix', 'nix/**', 'pom.xml', 'local-maven-repo') }}
         nix_file: nix/github-workflow-dependencies.nix
     - name: Build
       run: nix-build
     - name: Upload Javadoc artifact
       if: ${{ github.event_name == 'push' && github.event.ref == 'refs/heads/main' }}
-      uses: actions/upload-pages-artifact@v1
+      uses: actions/upload-pages-artifact@v3
       with:
         path: result/share/github-pages/DiffDetective
 
@@ -50,7 +50,7 @@ jobs:
     steps:
     - name: Publish Javadoc to Github Pages
       id: deployment
-      uses: actions/deploy-pages@v1
+      uses: actions/deploy-pages@v4
 
     # Kill in progress deployments because only the newest version is relevant
     # and concurrent deployments cause CI failures.