mirrors/build123d
1
Fork 0
mirror of https://github.com/gumyr/build123d.git synced 2025-12-06 02:30:55 -08:00
Code Issues Projects Releases Packages Wiki Activity Actions

mypy.yml -> use py310 and py311

Browse source 
mypy is not in active use, but still keeping this up to date
This commit is contained in:
jdegenstein 2024-11-19 14:46:05 -06:00 • committed by GitHub
parent a61912fbe3
commit 1022b88ca9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
.github/workflows/mypy.yml vendored
View file

@ -7,9 +7,8 @@ jobs:
fail-fast: false
matrix:
python-version: [
"3.9",
"3.10",
#"3.11"
"3.11"
]
runs-on: ubuntu-latest
@ -21,4 +20,4 @@ jobs:
- name: typecheck
run: |
mypy --config-file mypy.ini src/build123d
mypy --config-file mypy.ini src/build123d