ci: skip checks on PR metadata edits

2026-10-11 11:36:51 +03:00
parent c132770fbb
commit fcdc805f6c
3 changed files with 15 additions and 1 deletions
@@ -4,6 +4,11 @@ on:
  push:
    branches: [develop, main]
  pull_request:
+    types: [opened, synchronize, reopened]
+
+concurrency:
+  group: specs-verify-${{ gitea.event_name }}-${{ gitea.event.pull_request.number || gitea.ref }}
+  cancel-in-progress: true

 jobs:
  verify: