Publish releases on GitHub.

cubing · May 5, 2024 · 2b10c02 · 2b10c02
1 parent 525d034
commit 2b10c02
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/.github/workflows/publish-github-release.yaml b/.github/workflows/publish-github-release.yaml
@@ -0,0 +1,13 @@
+name: Publish GitHub release
+
+on:
+  push:
+    tags:
+      - v*
+
+jobs:
+  Publish:
+    permissions:
+      contents: write
+    if: startsWith(github.ref, 'refs/tags/v')
+    uses: cubing/actions-workflows/.github/workflows/publish-github-release.yaml@main