From be0e41057339b71321d9539558bf054266540cea Mon Sep 17 00:00:00 2001
From: Oscar Benjamin <oscar.j.benjamin@gmail.com>
Date: Sun, 1 Sep 2024 22:49:40 +0100
Subject: [PATCH] release: push a GitHub release as well as PyPI

---
 .github/workflows/buildwheel.yml | 26 +++++++++++++++++++++++++-
 1 file changed, 25 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/buildwheel.yml b/.github/workflows/buildwheel.yml
index 72aa8db7..cde98caf 100644
--- a/.github/workflows/buildwheel.yml
+++ b/.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"