diff options
| author | AUTOMATIC1111 <16777216c@gmail.com> | 2023-07-18 18:20:22 +0300 |
|---|---|---|
| committer | AUTOMATIC1111 <16777216c@gmail.com> | 2023-07-18 18:20:22 +0300 |
| commit | eb7c9b58fc2fbab205d4bc9f708800870dcda3fb (patch) | |
| tree | 337bc9e4e6793aa072c2e2a8c10e3a3f7daf6a95 /.github/workflows/on_pull_request.yaml | |
| parent | f865d3e11647dfd6c7b2cdf90dde24680e58acd8 (diff) | |
| parent | 7f7db1700bda40ba3171a49b6a4ef38f868b7d0a (diff) | |
Merge branch 'dev' into release_candidate
Diffstat (limited to '.github/workflows/on_pull_request.yaml')
| -rw-r--r-- | .github/workflows/on_pull_request.yaml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/.github/workflows/on_pull_request.yaml b/.github/workflows/on_pull_request.yaml index 7b7219fd..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 @@ -18,11 +20,13 @@ jobs: # not to have GHA download an (at the time of writing) 4 GB cache # of PyTorch and other dependencies. - name: Install Ruff - run: pip install ruff==0.0.265 + run: pip install ruff==0.0.272 - 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 |