[workflow] Auto release on tag push?

Author: mshroyer

.github/workflows/release.yml

@@ -1,6 +1,11 @@
 name: release
 on:
   workflow_dispatch:
+  push:
+    tags:
+      - "v*.*.*"
+    branches-ignore:
+      - "**"
 
 permissions:
   actions: read
@@ -16,10 +21,10 @@ jobs:
         with:
           submodules: true
 
-      - name: Check for successful CI run
+      - name: Wait for successful CI run
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-        run: python3 scripts/release.py check-ci ${{ github.sha }}
+        run: python3 scripts/release.py wait-ci ${{ github.sha }}
 
       - name: Install cargo-about
         run: cargo install --locked cargo-about

scripts/release.py

@@ -157,8 +157,12 @@ def check_ci(args: argparse.Namespace):
 
 
 def wait_ci(args: argparse.Namespace):
-    max_minutes = 10
+    max_minutes = 15
     while True:
+        # Sleep first to try to prevent racing against the CI workflow being
+        # queued.
+        time.sleep(60)
+
         runs = query_ci_runs(args.hash)
         success_id = successful_run_id(runs)
         if success_id is not None:
@@ -185,7 +189,6 @@ def wait_ci(args: argparse.Namespace):
             f"Waiting on CI run https://github.com/mshroyer/coursepointer/actions/runs/{pending_id} for commit {args.hash}"
         )
         max_minutes -= 1
-        time.sleep(60)
 
 
 def create(args: argparse.Namespace):