Add concurrency settings

Author: mbg

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,
       },