History

github/workflows/lint: add mypy linting

Not everything is typed in our scripts, but this is just to make sure current code passes linting. More typing can be added in the future.

Kacper Michajłow committed 1 year ago

Commit 14520221 parent e8fa2a71 file · +9 −0Browse files

Unified · Split

.github/workflows/lint.yml+9−0
@@ -40,6 +40,15 @@ jobs: · 39 unmodified lines
40 - uses: actions/checkout@v440 - uses: actions/checkout@v4
41 - uses: astral-sh/ruff-action@v241 - uses: astral-sh/ruff-action@v2
42 42
43 mypy:
44 runs-on: ubuntu-latest
45 steps:
46 - uses: actions/checkout@v4
47 - uses: python/mypy@master
48 with:
49 install_project_dependencies: no
50 options: '--check-untyped-defs'
51
43 editorconfig:52 editorconfig:
44 runs-on: ubuntu-latest53 runs-on: ubuntu-latest
45 steps:54 steps:

Keyboard shortcuts

General

Show keyboard shortcuts
?
Focus the current search
/

Issues and pull requests

Open filters
f

Issues, pull requests and Inbox

Select next item
j↓
Select previous item
k↑
Open selected item
Enter
Dismiss filters or clear selection
Esc

Repository code

Go to file
t