diff --git a/.github/workflows/manage-prs.yml b/.github/workflows/manage-prs.yml index 0d1b3b9f..66fca2eb 100644 --- a/.github/workflows/manage-prs.yml +++ b/.github/workflows/manage-prs.yml @@ -205,7 +205,7 @@ jobs: | A problem was found with your submission ${{ matrix.submission.submissionURL }} - ${{ matrix.submission.error }} + :x: **ERROR:** ${{ matrix.submission.error }} - name: Fail on error detected while parsing if: matrix.submission.error != '' @@ -291,7 +291,7 @@ jobs: issue_number: ${{ github.event.pull_request.number }}${{ github.event.issue.number }} body: | | - [Arduino Lint](https://github.com/arduino/arduino-lint) found errors with ${{ matrix.submission.submissionURL }}: + :x: **ERROR:** [Arduino Lint](https://github.com/arduino/arduino-lint) found errors with ${{ matrix.submission.submissionURL }}: ``` ${{ steps.read-lint-report.outputs.text-report }} @@ -420,7 +420,7 @@ jobs: issue_number: ${{ github.event.pull_request.number }}${{ github.event.issue.number }} body: | | - Your submission meets all requirements. However, the pull request could not be merged. + :x: **ERROR:** Your submission meets all requirements. However, the pull request could not be merged. Please follow this guide to resolve a merge conflict: https://docs.github.com/en/github/collaborating-with-issues-and-pull-requests/resolving-a-merge-conflict-on-github