Skip to content

Commit

Permalink
Try PR 12947
Browse files Browse the repository at this point in the history
  • Loading branch information
jmid committed Feb 2, 2024
1 parent a6a26df commit 7853aa3
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions .github/workflows/common.yml
Original file line number Diff line number Diff line change
Expand Up @@ -73,9 +73,9 @@ jobs:
OCAMLRUNPARAM: ${{ inputs.runparam }}
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 }}
OCAML_COMPILER_GIT_REF: 'refs/pull/12947/head'
CUSTOM_COMPILER_VERSION: '5.3.0+pr12947'
CUSTOM_COMPILER_SRC: 'https://github.com/ocaml/ocaml/archive/refs/pull/12947/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
Expand Down

0 comments on commit 7853aa3

Please sign in to comment.