gradio

1
name: Comment on pull request without race conditions
2

3
on:
4
  workflow_call:
5
    inputs:
6
      pr_number:
7
        type: string
8
      message:
9
        required: true
10
        type: string
11
      tag:
12
        required: false
13
        type: string
14
        default: "previews"
15
      additional_text:
16
        required: false
17
        type: string
18
        default: ""
19
    secrets:
20
      gh_token:
21
        required: true
22

23
jobs:
24
  comment:
25
    concurrency:
26
      group: ${{inputs.pr_number || inputs.tag}}
27
    runs-on: ubuntu-latest
28
    steps:
29
      - name: comment on pr
30
        uses: "gradio-app/github/actions/comment-pr@main"
31
        with:
32
          gh_token: ${{ secrets.gh_token }}
33
          tag: ${{ inputs.tag }}
34
          pr_number: ${{ inputs.pr_number}}
35
          message: ${{ inputs.message }}
36
          additional_text: ${{ inputs.additional_text }}
37