From 1f84f6fffc1d6940c280415529ff01da3f35051e Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Thu, 28 Nov 2024 14:04:20 +0100
Subject: [PATCH] Target 13594

---
 .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 4f320b9a..f0961fd7 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/13616/head'
+      COMPILER_REF:             'refs/pull/13594/head'
       LOGBEGINGRP:              "::group::"
       LOGENDGRP:                "::endgroup::"