ci: Publish the GitHub release after uploading the release artifacts to PyPI.

Author: seifertm

.github/workflows/main.yml

@@ -252,6 +252,7 @@ jobs:
     needs: [build, lint, check, create-github-release]
     runs-on: ubuntu-latest
     permissions:
+      contents: write
       id-token: write
     steps:
     - name: Download distributions
@@ -264,3 +265,10 @@ jobs:
         tree dist
     - name: PyPI upload
       uses: pypa/gh-action-pypi-publish@cef221092ed1bacb1cc03d23a2d87d1d172e277b  # v1.14.0
+    - name: Publish GitHub Release
+      env:
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+      run: |
+        set +e
+        TAG_NAME="${GITHUB_REF#refs/tags/}"
+        gh release edit "${TAG_NAME}" --draft=false