ci: change action for commenting PRs

Signed-off-by: Ettore Di Giacinto <mudler@users.noreply.github.com>
This commit is contained in:
Ettore Di Giacinto 2024-07-16 22:40:09 +02:00 committed by GitHub
parent c6838d4301
commit 50cdfe0090
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -68,9 +68,10 @@ jobs:
echo EOF
} >> "$GITHUB_OUTPUT"
docker logs --tail 10 local-ai
- name: Comment PR with execution number
uses: thollander/actions-comment-pull-request@v2
- uses: mshick/add-pr-comment@v2
if: always()
with:
GITHUB_TOKEN: ${{ secrets.UPDATE_BOT_TOKEN }}
message: ${{ steps.summarize.outputs.message }}
comment_tag: execution
repo-token: ${{ secrets.UPDATE_BOT_TOKEN }}
message: ${{ steps.summarize.outputs.message }}
message-failure: |
Uh oh! Could not analyze this PR, maybe it's too big?