30cdde8605
* CI: strict mypy check in github actions mypy_files.txt is a list of files that will fail the CI if mypy finds errors in them * don't need these * `Any` should be a way to silence the type checker * restrict return Any * CI: pyright in github actions * fix mistake in translating from mypy * missed another change from mypy to pyright * pin pyright version * add more paths that should trigger check * use Python instead of bash * type error for testing CI * Revert "type error for testing CI" This reverts commit 99f65f3dadf67fb18b6bbee90bd77d8dbd10f9f9. * oops * don't need to redirect output |
||
|---|---|---|
| .. | ||
| analyze-modified-files.yml | ||
| build.yml | ||
| codeql-analysis.yml | ||
| label-pull-requests.yml | ||
| release.yml | ||
| scan-build.yml | ||
| strict-type-check.yml | ||
| unittests.yml | ||