diff options
| author | AUTOMATIC1111 <16777216c@gmail.com> | 2023-07-14 10:09:20 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-14 10:09:20 +0300 |
| commit | 9893d09b4378d14c2a3ef370a5e02b906993ea86 (patch) | |
| tree | 71513b75edad191937802cfb2a67231e2edd2005 /.github/workflows/on_pull_request.yaml | |
| parent | 073e30ee1599db54464d055e4723778e370515fa (diff) | |
| parent | 62e32634677f872d0325a8c9330bb7c12fe1f310 (diff) | |
Merge pull request #11779 from AUTOMATIC1111/do-not-run-twice
Do not run git workflows twice for PRs from this repo
Diffstat (limited to '.github/workflows/on_pull_request.yaml')
| -rw-r--r-- | .github/workflows/on_pull_request.yaml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/.github/workflows/on_pull_request.yaml b/.github/workflows/on_pull_request.yaml index 8ebf5918..78e608ee 100644 --- a/.github/workflows/on_pull_request.yaml +++ b/.github/workflows/on_pull_request.yaml @@ -1,4 +1,4 @@ -name: Run Linting/Formatting on Pull Requests +name: Linter on: - push @@ -6,7 +6,9 @@ on: jobs: lint-python: + name: ruff runs-on: ubuntu-latest + if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name steps: - name: Checkout Code uses: actions/checkout@v3 @@ -22,7 +24,9 @@ jobs: - name: Run Ruff run: ruff . lint-js: + name: eslint runs-on: ubuntu-latest + if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name steps: - name: Checkout Code uses: actions/checkout@v3 |