mirror of
https://github.com/gradio-app/gradio.git
synced 2024-12-21 02:19:59 +08:00
d30432e9c6
* test pr * conditional * conditional * conditional * conditional * conditional * changes * changes * add changeset * changes --------- Co-authored-by: gradio-pr-bot <gradio-pr-bot@users.noreply.github.com>
38 lines
878 B
YAML
38 lines
878 B
YAML
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:
|
|
environment: comment_pr
|
|
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 }}
|