mirror of
https://github.com/gradio-app/gradio.git
synced 2025-01-30 11:00:11 +08:00
fixes (#7243)
This commit is contained in:
parent
4cfd8dcde8
commit
d1b5c7a946
5
.github/workflows/test-python.yml
vendored
5
.github/workflows/test-python.yml
vendored
@ -28,6 +28,7 @@ jobs:
|
||||
source_branch: ${{ steps.changes.outputs.source_branch }}
|
||||
source_repo: ${{ steps.changes.outputs.source_repo }}
|
||||
merge_sha: ${{ steps.changes.outputs.merge_sha }}
|
||||
labels: ${{ steps.changes.outputs.labels }}
|
||||
steps:
|
||||
- uses: actions/checkout@v3
|
||||
- uses: "./.github/actions/changes"
|
||||
@ -45,8 +46,8 @@ jobs:
|
||||
os: ["ubuntu-latest", "windows-latest"]
|
||||
test-type: ["not flaky", "flaky"]
|
||||
exclude:
|
||||
- os: ${{ github.event_name == 'pull_request' && contains( github.event.pull_request.labels.*.name, 'windows-tests') && 'dummy' || 'windows-latest' }}
|
||||
- test-type: ${{ github.event_name == 'pull_request' && contains( github.event.pull_request.labels.*.name, 'flaky-tests') && 'dummy' || 'flaky' }}
|
||||
- os: ${{ github.event.workflow_run.event == 'pull_request' && contains( needs.changes.outputs.labels, 'windows-tests') && 'dummy' || 'windows-latest' }}
|
||||
- test-type: ${{ github.event.workflow_run.event == 'pull_request' && contains( needs.changes.outputs.labels, 'flaky-tests') && 'dummy' || 'flaky' }}
|
||||
runs-on: ${{ matrix.os }}
|
||||
continue-on-error: true
|
||||
steps:
|
||||
|
@ -7,11 +7,11 @@ on:
|
||||
issue_comment:
|
||||
types: [edited]
|
||||
|
||||
|
||||
jobs:
|
||||
checks:
|
||||
changeset:
|
||||
permissions: write-all
|
||||
name: static checks
|
||||
runs-on: ubuntu-22.04
|
||||
if: github.event.sender.login != 'gradio-pr-bot'
|
||||
steps:
|
||||
- run: echo "Requesting checks"
|
||||
- run: echo "Requesting changeset"
|
17
.github/workflows/trigger-checks.yml
vendored
Normal file
17
.github/workflows/trigger-checks.yml
vendored
Normal file
@ -0,0 +1,17 @@
|
||||
name: trigger
|
||||
on:
|
||||
pull_request:
|
||||
types: [opened, synchronize, reopened, labeled, unlabeled]
|
||||
branches:
|
||||
- main
|
||||
push:
|
||||
branches:
|
||||
- main
|
||||
|
||||
jobs:
|
||||
checks:
|
||||
permissions: write-all
|
||||
runs-on: ubuntu-22.04
|
||||
if: github.event.sender.login != 'gradio-pr-bot'
|
||||
steps:
|
||||
- run: echo "Requesting checks"
|
Loading…
Reference in New Issue
Block a user