From 596f7e2faa511372d5a732be38892eec10ae7fe8 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 14 Nov 2023 17:54:12 +0100 Subject: [PATCH] Try assert fix --- .github/workflows/common.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/common.yml b/.github/workflows/common.yml index 3501a3d9..34837f89 100644 --- a/.github/workflows/common.yml +++ b/.github/workflows/common.yml @@ -78,8 +78,8 @@ jobs: DUNE_CI_ALIAS: ${{ inputs.dune_alias }} COMPILER: ${{ inputs.compiler }} OCAML_COMPILER_GIT_REF: ${{ inputs.compiler_git_ref }} - CUSTOM_COMPILER_VERSION: ${{ inputs.custom_compiler_version }} - CUSTOM_COMPILER_SRC: ${{ inputs.custom_compiler_src }} + CUSTOM_COMPILER_VERSION: '5.2.0+fix-domain-assertion' + CUSTOM_COMPILER_SRC: 'https://github.com/jmid/ocaml/archive/fix-domain-assertion.tar.gz' CUSTOM_OCAML_PKG_VERSION: ${{ inputs.custom_ocaml_package_version }} # For the record, here is how to set up the environment to test