diff --git a/pr-checks/sync.ts b/pr-checks/sync.ts index 820396ca3..94454de4b 100755 --- a/pr-checks/sync.ts +++ b/pr-checks/sync.ts @@ -156,6 +156,11 @@ function main(): void { workflowInputs = checkSpecification.inputs; } + let extraGroupName = ""; + for (const inputName of Object.keys(workflowInputs)) { + extraGroupName += "-${{inputs." + inputName + "}}"; + } + const workflow = { name: `PR Check - ${checkSpecification.name}`, env: { @@ -185,6 +190,11 @@ function main(): void { shell: "bash", }, }, + concurrency: { + "cancel-in-progress": + "${{ github.event_name == 'pull_request' || false }}", + group: checkName + "-${{github.ref}}" + extraGroupName, + }, jobs: { [checkName]: checkJob, },