mirror of
https://github.com/gradio-app/gradio.git
synced 2024-12-21 02:19:59 +08:00
96c5bfd44b
* chore(deps): update actions/upload-artifact action to v3 * fix * fix * fix * fix --------- Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> Co-authored-by: pngwn <hello@pngwn.io> Co-authored-by: Abubakar Abid <abubakar@huggingface.co>
37 lines
850 B
YAML
37 lines
850 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:
|
|
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 }}
|