CI: add /fix command agent for maintainer-triggered fix PRs (#31812)

This commit is contained in:
andig 2026-07-15 11:42:23 +02:00 • committed by GitHub
parent 6bc467fd01
commit 83e551baca
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
5 changed files with 67 additions and 17 deletions

View file

@ -21,7 +21,7 @@ jobs:
# only on PR comments starting with /build, and only from maintainers
if: |
github.event.issue.pull_request &&
startsWith(github.event.comment.body, '/build') &&
startsWith(trim(github.event.comment.body), '/build') &&
contains(fromJSON('["OWNER", "MEMBER", "COLLABORATOR"]'), github.event.comment.author_association)
runs-on: depot-ubuntu-24.04-arm
permissions: