2023-08-11 22:54:56 +08:00
|
|
|
name: Comment on pull request without race conditions
|
|
|
|
|
|
|
|
on:
|
|
|
|
workflow_call:
|
|
|
|
inputs:
|
|
|
|
pr_number:
|
|
|
|
type: string
|
|
|
|
message:
|
|
|
|
required: true
|
|
|
|
type: string
|
|
|
|
tag:
|
|
|
|
required: false
|
|
|
|
type: string
|
|
|
|
default: "previews"
|
|
|
|
additional_text:
|
|
|
|
required: false
|
|
|
|
type: string
|
|
|
|
default: ""
|
|
|
|
secrets:
|
|
|
|
gh_token:
|
|
|
|
required: true
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
comment:
|
2024-08-05 22:27:26 +08:00
|
|
|
environment: comment_pr
|
2023-08-11 22:54:56 +08:00
|
|
|
concurrency:
|
|
|
|
group: ${{inputs.pr_number || inputs.tag}}
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
- name: comment on pr
|
|
|
|
uses: "gradio-app/github/actions/comment-pr@main"
|
|
|
|
with:
|
|
|
|
gh_token: ${{ secrets.gh_token }}
|
|
|
|
tag: ${{ inputs.tag }}
|
|
|
|
pr_number: ${{ inputs.pr_number}}
|
|
|
|
message: ${{ inputs.message }}
|
|
|
|
additional_text: ${{ inputs.additional_text }}
|