ci: recheck PR title on edited without the full pipeline (WealthLedger/frontend#64)

.gitea/workflows/verify.yml

@@ -4,13 +4,14 @@ on:
   push:
     branches: [develop, main]
   pull_request:
-    types: [opened, synchronize, reopened]
+    types: [opened, synchronize, reopened, edited]
   schedule:
     - cron: '17 5 * * *'
 
-# Gitea >= 1.26. A new revision supersedes only the same PR/branch/event.
+# Gitea >= 1.26. A new revision supersedes only the same PR/branch/event;
+# metadata-only `edited` runs use their own group so they never cancel a full run.
 concurrency:
-  group: frontend-verify-${{ gitea.event_name }}-${{ gitea.event.pull_request.number || gitea.ref }}
+  group: frontend-verify-${{ gitea.event_name }}-${{ gitea.event.action == 'edited' && 'meta-' || '' }}${{ gitea.event.pull_request.number || gitea.ref }}
   cancel-in-progress: true
 
 jobs:
@@ -39,7 +40,7 @@ jobs:
   security:
     needs: commits
     if: >-
-      !cancelled() &&
+      !cancelled() && gitea.event.action != 'edited' &&
       (needs.commits.result == 'success' || needs.commits.result == 'skipped')
     timeout-minutes: 15
     runs-on: ubuntu-latest
@@ -68,7 +69,7 @@ jobs:
     needs: [commits, security]
     if: >-
       !cancelled() && needs.security.result == 'success' &&
-      gitea.event_name != 'schedule'
+      gitea.event_name != 'schedule' && gitea.event.action != 'edited'
     timeout-minutes: 45
     runs-on: ubuntu-latest
     steps: