mirror of
https://github.com/gradio-app/gradio.git
synced 2024-12-09 02:00:44 +08:00
21 lines
506 B
YAML
21 lines
506 B
YAML
name: trigger changeset generation
|
|
on:
|
|
pull_request:
|
|
types: [opened, synchronize, reopened, edited, labeled, unlabeled]
|
|
branches:
|
|
- main
|
|
- v4
|
|
issue_comment:
|
|
types: [edited]
|
|
|
|
jobs:
|
|
version:
|
|
permissions: write-all
|
|
name: static checks
|
|
runs-on: ubuntu-22.04
|
|
if: github.event.sender.login != 'gradio-pr-bot'
|
|
steps:
|
|
- run: echo ${{ github.event_name }}
|
|
- run: echo ${{ github.event.sender.login }}
|
|
- run: echo "Triggering changeset generation"
|