Skip to content

Commit

Permalink
try with 5.2
Browse files Browse the repository at this point in the history
  • Loading branch information
jmid committed Apr 13, 2023
1 parent 6c263a7 commit dc2a195
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/common.yml
Expand Up @@ -99,7 +99,7 @@ jobs:
SUBSUITE: ${{ inputs.subsuite }}
COMPILER: ${{ inputs.compiler }}
OCAML_COMPILER_GIT_REF: 'refs/pull/11903/head'
CUSTOM_COMPILER_VERSION: '5.1.0+pr11903'
CUSTOM_COMPILER_VERSION: '5.2.0+pr11903'
CUSTOM_COMPILER_SRC: 'https://github.com/ocaml/ocaml/archive/refs/pull/11903/head.tar.gz'
CUSTOM_OCAML_PKG_VERSION: ${{ inputs.custom_ocaml_package_version }}
OVERRIDE_APT_INSTALL: ${{ inputs.override_apt_install }}
Expand Down

0 comments on commit dc2a195

Please sign in to comment.