Skip to content

Cross plat fileback ensure regression caught #575

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
ian-sift wants to merge 4 commits into
base: main
Choose a base branch
from
Open

Cross plat fileback ensure regression caught #575

Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
1776685
feat(python): Windows install checks
ian-sift May 19, 2026
38cb94f
windows lint
ian-sift May 19, 2026
b400e7b
mypy
ian-sift May 19, 2026
2cb605a
ci(python): use mypy --platform=win32 in lieu of a Windows runner
ian-sift May 19, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 7 additions & 0 deletions .github/workflows/python_ci.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -72,6 +72,13 @@ jobs:
run: |
mypy lib

# Re-run mypy with --platform=win32 so typeshed evaluates platform-gated
# stubs (e.g. fcntl) as if we were on Windows. Catches imports that
# would only fail at runtime on Windows.
- name: MyPy (Windows platform)
run: |
mypy --platform=win32 lib

- name: Pyright
run: |
pyright lib
Expand Down
Loading