Merge ../jdk-fork-typetools

Author: mernst

.github/workflows/ci.yml

@@ -7,10 +7,6 @@ on:
   pull_request:
   workflow_dispatch:
 
-concurrency:
-  group: ${{ github.workflow }}-${{ github.ref }}
-  cancel-in-progress: true
-
 defaults:
   run:
     shell: bash --noprofile --norc -eo pipefail {0}

.github/workflows/ci.yml.m4

@@ -11,10 +11,6 @@ on:
   pull_request:
   workflow_dispatch:
 
-concurrency:
-  group: ${{ github.workflow }}-${{ github.ref }}
-  cancel-in-progress: true
-
 defaults:
   run:
     shell: bash --noprofile --norc -eo pipefail {0}