@@ -57,13 +57,20 @@ echo "::group::Mypy"
57
57
rm -f mypy_annotate.dat
58
58
# Pipefail makes these pipelines fail if mypy does, even if mypy_annotate.py succeeds.
59
59
set -o pipefail
60
- mypy --show-error-end --platform linux | python ./src/trio/_tools/mypy_annotate.py --dumpfile mypy_annotate.dat --platform Linux \
61
- || { echo " * Mypy (Linux) found type errors." >> " $GITHUB_STEP_SUMMARY " ; MYPY=1; }
60
+ mypy --show-error-end --python-version=3.13 -- platform linux | python ./src/trio/_tools/mypy_annotate.py --dumpfile mypy_annotate.dat --platform Linux \
61
+ || { echo " * Mypy (Linux, Python 3.13 ) found type errors." >> " $GITHUB_STEP_SUMMARY " ; MYPY=1; }
62
62
# Darwin tests FreeBSD too
63
- mypy --show-error-end --platform darwin | python ./src/trio/_tools/mypy_annotate.py --dumpfile mypy_annotate.dat --platform Mac \
64
- || { echo " * Mypy (Mac) found type errors." >> " $GITHUB_STEP_SUMMARY " ; MYPY=1; }
65
- mypy --show-error-end --platform win32 | python ./src/trio/_tools/mypy_annotate.py --dumpfile mypy_annotate.dat --platform Windows \
66
- || { echo " * Mypy (Windows) found type errors." >> " $GITHUB_STEP_SUMMARY " ; MYPY=1; }
63
+ mypy --show-error-end --python-version=3.13 --platform darwin | python ./src/trio/_tools/mypy_annotate.py --dumpfile mypy_annotate.dat --platform Mac \
64
+ || { echo " * Mypy (Mac, Python 3.13) found type errors." >> " $GITHUB_STEP_SUMMARY " ; MYPY=1; }
65
+ mypy --show-error-end --python-version=3.13 --platform win32 | python ./src/trio/_tools/mypy_annotate.py --dumpfile mypy_annotate.dat --platform Windows \
66
+ || { echo " * Mypy (Windows, Python 3.13) found type errors." >> " $GITHUB_STEP_SUMMARY " ; MYPY=1; }
67
+ mypy --show-error-end --python-version=3.9 --platform linux | python ./src/trio/_tools/mypy_annotate.py --dumpfile mypy_annotate.dat --platform Linux \
68
+ || { echo " * Mypy (Linux, Python 3.9) found type errors." >> " $GITHUB_STEP_SUMMARY " ; MYPY=1; }
69
+ # Darwin tests FreeBSD too
70
+ mypy --show-error-end --python-version=3.9 --platform darwin | python ./src/trio/_tools/mypy_annotate.py --dumpfile mypy_annotate.dat --platform Mac \
71
+ || { echo " * Mypy (Mac, Python 3.9) found type errors." >> " $GITHUB_STEP_SUMMARY " ; MYPY=1; }
72
+ mypy --show-error-end --python-version=3.9 --platform win32 | python ./src/trio/_tools/mypy_annotate.py --dumpfile mypy_annotate.dat --platform Windows \
73
+ || { echo " * Mypy (Windows, Python 3.9) found type errors." >> " $GITHUB_STEP_SUMMARY " ; MYPY=1; }
67
74
set +o pipefail
68
75
# Re-display errors using Github's syntax, read out of mypy_annotate.dat
69
76
python ./src/trio/_tools/mypy_annotate.py --dumpfile mypy_annotate.dat
0 commit comments