ci: 更新工作流配置以支持取消相同提交的开发工作流运行

Author: AkimioJR

.github/workflows/dev.yaml

@@ -5,13 +5,16 @@ on:
   push:
     branches:
       - main
+    tags-ignore:
+      - "v*"
     paths:
       - "**.go"
       - "go.mod"
       - "go.sum"
 
 jobs:
   builder:
+    if: ${{ github.ref_type != 'tag' }}
     runs-on: ubuntu-latest
     steps:
       - name: Checkout

.github/workflows/release.yaml

@@ -7,6 +7,7 @@ on:
 permissions:
   contents: write
   packages: write
+  actions: write
 
 jobs:
   release:
@@ -18,6 +19,41 @@ jobs:
           submodules: true
           fetch-depth: 0
 
+      - name: Cancel same-commit dev workflow runs
+        uses: actions/github-script@v7
+        with:
+          script: |
+            const owner = context.repo.owner;
+            const repo = context.repo.repo;
+            const sha = context.sha;
+
+            const runs = await github.paginate(github.rest.actions.listWorkflowRuns, {
+              owner,
+              repo,
+              workflow_id: 'dev.yaml',
+              event: 'push',
+              per_page: 100,
+            });
+
+            const targets = runs.filter((run) =>
+              run.head_sha === sha &&
+              ['queued', 'in_progress', 'waiting', 'pending', 'requested'].includes(run.status)
+            );
+
+            if (targets.length === 0) {
+              core.info(`No running dev workflow found for commit ${sha}.`);
+              return;
+            }
+
+            for (const run of targets) {
+              core.info(`Cancelling dev run #${run.run_number} (id=${run.id}, status=${run.status})`);
+              await github.rest.actions.cancelWorkflowRun({
+                owner,
+                repo,
+                run_id: run.id,
+              });
+            }
+
       - name: Set up Go
         uses: actions/setup-go@v5
         with: