diff --git a/.github/workflows/common.yml b/.github/workflows/common.yml index 28691ac1..3e43a1da 100644 --- a/.github/workflows/common.yml +++ b/.github/workflows/common.yml @@ -74,7 +74,7 @@ jobs: DUNE_CI_ALIAS: ${{ inputs.dune_alias }} COMPILER: ${{ inputs.compiler }} OCAML_COMPILER_GIT_REF: 'refs/pull/12861/head' - CUSTOM_COMPILER_VERSION: '5.3.0+pr12861' + CUSTOM_COMPILER_VERSION: '5.2.0+pr12861' CUSTOM_COMPILER_SRC: 'https://github.com/ocaml/ocaml/archive/refs/pull/12861/head.tar.gz' CUSTOM_OCAML_PKG_VERSION: ${{ inputs.custom_ocaml_package_version }}