From dc2a195a9ab154ad0cefd8ed08b50eac9f517273 Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Thu, 13 Apr 2023 10:37:21 +0200
Subject: [PATCH] try with 5.2

---
 .github/workflows/common.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/common.yml b/.github/workflows/common.yml
index 6fed0ca2..87e68573 100644
--- a/.github/workflows/common.yml
+++ b/.github/workflows/common.yml
@@ -99,7 +99,7 @@ jobs:
       SUBSUITE:                 ${{ inputs.subsuite }}
       COMPILER:                 ${{ inputs.compiler }}
       OCAML_COMPILER_GIT_REF:   'refs/pull/11903/head'
-      CUSTOM_COMPILER_VERSION:  '5.1.0+pr11903'
+      CUSTOM_COMPILER_VERSION:  '5.2.0+pr11903'
       CUSTOM_COMPILER_SRC:      'https://github.com/ocaml/ocaml/archive/refs/pull/11903/head.tar.gz'
       CUSTOM_OCAML_PKG_VERSION: ${{ inputs.custom_ocaml_package_version }}
       OVERRIDE_APT_INSTALL:     ${{ inputs.override_apt_install }}