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 }} | |