release: push a GitHub release as well as PyPI

Author: oscarbenjamin

.github/workflows/buildwheel.yml

@@ -268,7 +268,7 @@ jobs:
     if: "github.event_name == 'push' && startsWith(github.ref, 'refs/tags') && github.repository_owner == 'flintlib'"
     environment:
       name: pypi
-      url: https://pypi.org/p/sympy
+      url: https://pypi.org/p/python-flint
     permissions:
       id-token: write
     runs-on: ubuntu-latest
@@ -289,3 +289,27 @@ jobs:
         # should be kept up to date. Possibly all actions and dependencies used
         # by the build script should be pinned...
         uses: pypa/gh-action-pypi-publish@8a08d616893759ef8e1aa1f2785787c0b97e20d6  # v1.10.0
+
+  # Make a GitHub release
+
+  github-publish:
+    name: Publish GitHub release
+    needs: pypi_release
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+
+    steps:
+      - name: Download sdist
+        uses: actions/download-artifact@v4
+        with:
+          name: sdist
+          path: dist
+
+      - name: Create GitHub release
+        env:
+          GH_TOKEN: ${{ github.token }}
+        run: >
+          gh release create ${{ github.ref_name }} dist/*
+          --title "python-flint ${{ github.ref_name }}"
+          --notes "https://github.com/flintlib/python-flint?tab=readme-ov-file#changelog"