diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/lint.yml (renamed from .github/workflows/lint_mypy.yml) | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/.github/workflows/lint_mypy.yml b/.github/workflows/lint.yml index 9572707..cdfed11 100644 --- a/.github/workflows/lint_mypy.yml +++ b/.github/workflows/lint.yml @@ -1,22 +1,22 @@ -name: LintMypy +name: Lint concurrency: - group: mypy-${{ github.head_ref }} + group: lint-${{ github.head_ref }} cancel-in-progress: true on: push: paths: - "**.py" - - ".github/workflows/lint_mypy.yml" + - ".github/workflows/lint.yml" pull_request: paths: - "**.py" - - ".github/workflows/lint_mypy.yml" + - ".github/workflows/lint.yml" jobs: - lint: + pylint: runs-on: ubuntu-latest steps: - uses: actions/checkout@v2 |