From 82ea57c0d2bdb6ef8762bcfaccd36953772aed62 Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Fri, 29 Nov 2024 09:38:57 +0100
Subject: [PATCH] Target 13632

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