diff --git a/.github/actions/build-kind2/action.yml b/.github/actions/build-kind2/action.yml index d9e7724c4..56ea4d5e8 100644 --- a/.github/actions/build-kind2/action.yml +++ b/.github/actions/build-kind2/action.yml @@ -14,6 +14,7 @@ runs: id: ocaml-variant shell: bash run: | + echo "::group::Set OCaml compiler variant" if [[ "${{ inputs.flambda }}" == "true" ]]; then echo "compiler=ocaml-variants.${{ inputs.ocaml-version }}+options,ocaml-option-flambda" >> $GITHUB_OUTPUT echo "tag=${{ inputs.ocaml-version }}-flambda" >> $GITHUB_OUTPUT @@ -21,6 +22,7 @@ runs: echo "compiler=${{ inputs.ocaml-version }}" >> $GITHUB_OUTPUT echo "tag=${{ inputs.ocaml-version }}" >> $GITHUB_OUTPUT fi + echo "::endgroup::" - name: Set up OCaml ${{ steps.ocaml-variant.outputs.tag }} uses: ocaml/setup-ocaml@v2