diff options
author | Eric Eastwood <erice@element.io> | 2023-05-16 13:27:47 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-16 13:27:47 -0500 |
commit | 7148c2a0d6310c8e97a4170cd4241c1cd4b0b037 (patch) | |
tree | d4976203dad2899fc8e53c16d8b784007331a207 /docs | |
parent | Add not null constraint to column `full_user_id` of tables `profiles` and `us... (diff) | |
download | synapse-7148c2a0d6310c8e97a4170cd4241c1cd4b0b037.tar.xz |
Run mypy type checking with the minimum supported Python version (#15602)
We use the oldest Python version because later Python versions can include some overloads which don't work in the older versions which we still support. We're using Python 3.8 instead of 3.7 which is our actual minimum support version because it's EOL is in a matter of weeks so can avoid the extra effort. And in any case, minimum Python 3.8 support is better than winging it on Python 3.11.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions