From b3f2a125c369cf6dfc578cb3d8ad9428ced6a969 Mon Sep 17 00:00:00 2001
From: Yishuai Li <liyishuai.lys@alibaba-inc.com>
Date: Thu, 25 Jan 2024 16:53:15 +0800
Subject: [PATCH] CI: fix concurrency and trim versions

---
 .github/workflows/build.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index d0635d45b..3ec1ac624 100644
--- 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: