mirror of
https://github.com/gradio-app/gradio.git
synced 2025-01-06 10:25:17 +08:00
643442e1a5
* fixup site * fix docs versions * test ci * test ci some more * test ci some more * test ci some more * asd * asd * asd * asd * asd * asd * asd * asd * asd * test * fix * add changeset * fix * fix * fix * test ci * test ci * test ci * test ci * test ci * test ci * test ci * test ci * test ci * notebook ci * notebook ci * more ci * more ci * update changeset * update changeset * update changeset * fix site * fix * fix * fix * fix * fix ci * render mising pages * remove changeset * fix path * fix workflows * fix workflows * fix workflows * fix comment * tweaks * tweaks --------- Co-authored-by: gradio-pr-bot <gradio-pr-bot@users.noreply.github.com>
40 lines
875 B
YAML
40 lines
875 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
|
|
|
|
concurrency:
|
|
group: 1
|
|
|
|
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 }}
|