ci: avoid duplicate workflow runs on pull requests

Limit push triggers to master so PR branch updates only run once via
pull_request, and cancel superseded in-progress runs with concurrency groups.
This commit is contained in:
2026-07-12 15:57:47 +02:00
parent e1f82c8ef3
commit 172f244ed4
2 changed files with 12 additions and 0 deletions

View File

@@ -37,6 +37,10 @@ on:
permissions:
contents: read
concurrency:
group: shared-kmp-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: true
jobs:
jvm-test:
# Host Rust embedding is enabled only for the current Gobley host target.