release: use ssh key instead of token

.github/workflows/release.yml

@@ -18,7 +18,7 @@ on:
       - '1.12'
 env:
   release_branch: '1.12'
-  release_version: '1.12.1a4'
+  release_version: '1.12.1a5'
   final_release_version: '1.12.1'
   previous_version: '1.12'
   dev_version: '1.13-dev'
@@ -136,11 +136,11 @@ jobs:
       - name: Copy the PyPI files into dist
         run: mkdir dist && cp dist.all/*.whl dist.all/*.tar.gz dist
 
-      - name: Publish package on PyPI
+      #- name: Publish package on PyPI
         # It is recommended to pin a commit hash here for security but it
         # should be kept up to date. Probably all actions and dependencies
         # installed by the build script should be pinned...
-        uses: pypa/gh-action-pypi-publish@81e9d935c883d0b210363ab89cf05f3894778450  # v1.8.14
+      #  uses: pypa/gh-action-pypi-publish@81e9d935c883d0b210363ab89cf05f3894778450  # v1.8.14
 
   # -------------------- Make a GitHub release --------------------- #
 
@@ -152,7 +152,11 @@ jobs:
       contents: write
 
     steps:
-      - uses: actions/download-artifact@v4
+      - name: Checkout sympy
+        uses: actions/checkout@v3
+
+      - name: Download release artifacts
+        uses: actions/download-artifact@v4
         with:
           name: release_files
           path: dist
@@ -186,7 +190,7 @@ jobs:
         with:
           repository: sympy/sympy_doc
           ref: gh-pages
-          token: ${{ secrets.SYMPY_DOC_RELEASE_PUSH_TOKEN }}
+          ssh-key: ${{ secrets.SYMPY_DOC_RELEASE_PUSH_TOKEN }}
           path: sympy_doc
 
       - run: git config --global user.name "SymPy GitHub Actions release bot"

sympy/release.py

@@ -1 +1 @@
-__version__ = "1.12.1a4"
+__version__ = "1.12.1a5"