CI: fix concurrency and trim versions

MetaCoq · Jan 25, 2024 · b3f2a12 · b3f2a12
1 parent ad8d2af
commit b3f2a12
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -27,14 +27,12 @@ jobs:
           - '8.17'
         ocaml_version:
           - '4.14-flambda'
-          - '4.13-flambda'
-          - '4.12-flambda'
           - '4.09-flambda'
         target: [ local, opam ]
       fail-fast: true
 
     concurrency:
-      group: ${{ github.workflow }}-${{ matrix.target }}-Ubuntu-${{ github.event_name }}-${{ github.head_ref || github.run_id }}
+      group: ${{ github.workflow }}-${{ matrix.ocaml_version }}-${{ matrix.target }}-Ubuntu-${{ github.event_name }}-${{ github.head_ref || github.run_id }}
       cancel-in-progress: true
 
     steps: