ci: comment PRs as LocalAI bot

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

View File

@ -71,5 +71,6 @@ jobs:
- name: Comment PR with execution number
uses: thollander/actions-comment-pull-request@v2
with:
GITHUB_TOKEN: ${{ secrets.UPDATE_BOT_TOKEN }}
message: ${{ steps.summarize.outputs.message }}
comment_tag: execution