From 5f148839cfc2b9a424dbda2161b731be128c4d72 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 15 Oct 2024 16:38:06 +0200 Subject: [PATCH] Set CUSTOM_COMPILER_SRC --- .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 ec59d838..03a34a16 100644 --- a/.github/workflows/common.yml +++ b/.github/workflows/common.yml @@ -75,7 +75,7 @@ jobs: COMPILER: ${{ inputs.compiler }} OCAML_COMPILER_GIT_REF: 'refs/pull/13549/head' CUSTOM_COMPILER_VERSION: '5.4.0+pr13549' - CUSTOM_COMPILER_SRC: ${{ inputs.custom_compiler_src }} + CUSTOM_COMPILER_SRC: 'https://github.com/ocaml/ocaml/archive/refs/pull/13549/head.tar.gz' CUSTOM_OCAML_PKG_VERSION: ${{ inputs.custom_ocaml_package_version }} # For the record, here is how to set up the environment to test