name: trigger changeset generation on: pull_request: types: [opened, synchronize, reopened, edited, labeled, unlabeled] branches: - main 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"