Polishing CI/CD pipeline

2026-10-12 02:22:55 +00:00 · 2026-06-28 10:48:53 +02:00
parent 6bbcd4a28a
commit 8676166acd
3 changed files with 6 additions and 2 deletions
@@ -4,6 +4,10 @@ on:
  pull_request:
    branches: [ master ]

+concurrency:
+  group: ci-${{ github.ref }}
+  cancel-in-progress: true
+
 permissions:
  contents: read