Merge pull request #1040 from liyishuai/patch-1

CI: multiple OCaml versions
MetaCoq · Jan 27, 2024 · 44c204b · 44c204b
2 parents b674c5e + b3f2a12
commit 44c204b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -27,11 +27,12 @@ jobs:
           - '8.17'
         ocaml_version:
           - '4.14-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: