Skip to content

Commit

Permalink
Target 13616
Browse files Browse the repository at this point in the history
  • Loading branch information
jmid committed Nov 17, 2024
1 parent 29762d0 commit 6d13a11
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/13582/head'
COMPILER_REF: 'refs/pull/13616/head'
LOGBEGINGRP: "::group::"
LOGENDGRP: "::endgroup::"

Expand Down

0 comments on commit 6d13a11

Please sign in to comment.