diff --git a/.github/workflows/common.yml b/.github/workflows/common.yml
index 8c867069..4f320b9a 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::"