Skip to content

Commit a68cc16

Browse files
cclausscclauss
authored
DRAFT: Run a mypy reality check
Let's see what is required to finish #4052
1 parent 6fcefc0 commit a68cc16

1 file changed

Lines changed: 5 additions & 0 deletions

File tree

‎.github/workflows/build.yml‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -26,3 +26,8 @@ jobs:
2626
run: pytest --doctest-modules --ignore=project_euler/ --ignore=scripts/validate_solutions.py --cov-report=term-missing:skip-covered --cov=. .
2727
- if: ${{ success() }}
2828
run: scripts/build_directory_md.py 2>&1 | tee DIRECTORY.md
29+
- name: Mypy reality check
30+
run: |
31+
mv mypy.ini was_mypy.ini
32+
mypy --install-types --non-interactive . || true
33+
mv was_mypy.ini mypy.ini

0 commit comments

Comments
 (0)