Skip to content

Commit

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

Expand Down

0 comments on commit 29762d0

Please sign in to comment.