Change actions_deploy_key to secrets.DOCUMENTATION_DEPLOY_KEY

- This is to match the name of the secret that I just created in the settings of TorchJD/torchjd

Author: ValerianRey

.github/workflows/build-deploy-docs.yml

@@ -47,7 +47,7 @@ jobs:
       - name: Deploy Documentation to GitHub Pages
         uses: peaceiris/actions-gh-pages@v4
         with:
-          actions_deploy_key: ${{ secrets.ACTIONS_DEPLOY_KEY }}
+          actions_deploy_key: ${{ secrets.DOCUMENTATION_DEPLOY_KEY }}
           publish_dir: docs/build/dirhtml
           destination_dir: ${{ steps.deploy_folder.outputs.DEPLOY_DIR }}
           external_repository: TorchJD/documentation.github.io
@@ -57,7 +57,7 @@ jobs:
         if: startsWith(github.ref, 'refs/tags/')
         uses: peaceiris/actions-gh-pages@v4
         with:
-          actions_deploy_key: ${{ secrets.ACTIONS_DEPLOY_KEY }}
+          actions_deploy_key: ${{ secrets.DOCUMENTATION_DEPLOY_KEY }}
           publish_dir: docs/build/dirhtml
           destination_dir: stable
           external_repository: TorchJD/documentation.github.io