mirror of
https://github.com/GreptimeTeam/greptimedb.git
synced 2026-10-02 18:15:36 +00:00
Weny Xu
37fed9f12b
* fix(ci): repair draft PR command dispatch Signed-off-by: WenyXu <wenymedia@gmail.com> * fix(ci): dispatch command workflows by branch ref Signed-off-by: WenyXu <wenymedia@gmail.com> * fix(ci): admit PR authors and writers for CI commands Signed-off-by: WenyXu <wenymedia@gmail.com> * fix(ci): preserve dispatch guard dependency semantics Signed-off-by: WenyXu <wenymedia@gmail.com> * fix(ci): configure slash command permissions individually Signed-off-by: WenyXu <wenymedia@gmail.com> * refactor(ci): run command workflows at dispatch branch head Signed-off-by: WenyXu <wenymedia@gmail.com> * fix(ci): rerun fork PR checks and report command failures Signed-off-by: WenyXu <wenymedia@gmail.com> --------- Signed-off-by: WenyXu <wenymedia@gmail.com>
47 lines
1.9 KiB
YAML
47 lines
1.9 KiB
YAML
name: Slash Command Dispatch
|
|
|
|
# ChatOps front door: parse `/command` on PR comments, apply command-specific
|
|
# permissions, and repository_dispatch to a per-command handler. Handlers
|
|
# own allowlists, SHA admission, and the actual work. Same-repo dispatch
|
|
# uses github.token with contents: write; GitHub starts the handler run
|
|
# for GITHUB_TOKEN-created repository_dispatch events. Do not pass the
|
|
# long-lived GH_PERSONAL_ACCESS_TOKEN into this third-party action.
|
|
#
|
|
# To add a command: add it to `config` and add a workflow with
|
|
# `on.repository_dispatch.types: ["<command>-command"]`.
|
|
|
|
on:
|
|
issue_comment:
|
|
types: [created]
|
|
|
|
permissions:
|
|
contents: write
|
|
issues: write
|
|
pull-requests: write
|
|
|
|
jobs:
|
|
slash-command-dispatch:
|
|
name: Dispatch slash command
|
|
if: ${{ github.event.issue.pull_request && startsWith(github.event.comment.body, '/') }}
|
|
runs-on: ubuntu-latest
|
|
timeout-minutes: 5
|
|
steps:
|
|
- name: Slash Command Dispatch
|
|
uses: peter-evans/slash-command-dispatch@9bdcd7914ec1b75590b790b844aa3b8eee7c683a # v5.0.2
|
|
with:
|
|
token: ${{ github.token }}
|
|
# CI admission re-fetches the comment and checks author/member permissions.
|
|
config: >-
|
|
[
|
|
{"command": "query-regression", "permission": "admin", "issue_type": "pull-request"},
|
|
{"command": "ci", "permission": "none", "issue_type": "pull-request"}
|
|
]
|
|
- name: Report CI dispatch failure
|
|
if: ${{ failure() && (github.event.comment.body == '/ci' || startsWith(github.event.comment.body, '/ci ')) }}
|
|
env:
|
|
GH_TOKEN: ${{ github.token }}
|
|
PR_NUMBER: ${{ github.event.issue.number }}
|
|
run: |
|
|
gh api --method POST "/repos/${GITHUB_REPOSITORY}/issues/${PR_NUMBER}/comments" \
|
|
-f "body=CI command dispatch failed. See ${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}/actions/runs/${GITHUB_RUN_ID} for details."
|