[typetools/checker-framework] 54c3c5: Temporarily disable Python type-checking
0 views
Skip to first unread message
Michael Ernst
Dec 4, 2025, 7:02:20 PM (6 days ago) Dec 4
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 54c3c50ee1c2a23f535bfe3767dd0c588845c568
https://github.com/typetools/checker-framework/commit/54c3c50ee1c2a23f535bfe3767dd0c588845c568
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-12-04 (Thu, 04 Dec 2025)
Changed paths:
A .python-version
M Makefile
M docs/developer/release/release_build.py
A pyproject.toml
A uv.lock
Log Message:
-----------
Temporarily disable Python type-checking
To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications
Home: https://github.com/typetools/checker-framework
Commit: 54c3c50ee1c2a23f535bfe3767dd0c588845c568
https://github.com/typetools/checker-framework/commit/54c3c50ee1c2a23f535bfe3767dd0c588845c568
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-12-04 (Thu, 04 Dec 2025)
Changed paths:
A .python-version
M Makefile
M docs/developer/release/release_build.py
A pyproject.toml
A uv.lock
Log Message:
-----------
Temporarily disable Python type-checking
To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications
Reply all
Reply to author
Forward
0 new messages