From e9a2565b0bd2bb35b6a40edb17f3978f4fc125d4 Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Sat, 23 Nov 2024 23:39:15 +0100
Subject: [PATCH] Target 13616

---
 .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 8c8670697..4f320b9ab 100644
--- a/.github/workflows/common.yml
+++ b/.github/workflows/common.yml
@@ -58,7 +58,7 @@ jobs:
       OCAMLRUNPARAM:            ${{ inputs.runparam }}
       DUNE_CI_ALIAS:            ${{ inputs.dune_alias }}
       COMPILER_REPO:            ${{ inputs.compiler_repository }}
-      COMPILER_REF:             'refs/pull/13582/head'
+      COMPILER_REF:             'refs/pull/13616/head'
       LOGBEGINGRP:              "::group::"
       LOGENDGRP:                "::endgroup::"