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::"