diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 605fef2e0f4..6aef2e42fbd 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -85,7 +85,7 @@ jobs: GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} run: | cur_label=$(gh api --jq '.labels.[].name' /repos/rjbou/opam/pulls/${{ github.event.number }} | tr -d '\n') - echo "cur_label=$cur_label" $LABELS + echo "cur_label=$cur_label" >> $GITHUB_OUTPUT # - name: labels # run: echo ${{ steps.labell.outputs.cur_label }} # - name: labels