Skip to content

Commit

Permalink
Target 13632
Browse files Browse the repository at this point in the history
  • Loading branch information
jmid committed Nov 29, 2024
1 parent 1f84f6f commit 82ea57c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/common.yml
Original file line number Diff line number Diff line change
Expand Up @@ -58,7 +58,7 @@ jobs:
OCAMLRUNPARAM: ${{ inputs.runparam }}
DUNE_CI_ALIAS: ${{ inputs.dune_alias }}
COMPILER_REPO: ${{ inputs.compiler_repository }}
COMPILER_REF: 'refs/pull/13594/head'
COMPILER_REF: 'refs/pull/13632/head'
LOGBEGINGRP: "::group::"
LOGENDGRP: "::endgroup::"

Expand Down

0 comments on commit 82ea57c

Please sign in to comment.