Rename actions_deploy_key to deploy_key

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.DOCUMENTATION_DEPLOY_KEY }}
+          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.DOCUMENTATION_DEPLOY_KEY }}
+          deploy_key: ${{ secrets.DOCUMENTATION_DEPLOY_KEY }}
           publish_dir: docs/build/dirhtml
           destination_dir: stable
           external_repository: TorchJD/documentation.github.io