Skip to content
GitLab
Explore
Sign in
Register
Add Module type annotations
Code
Review changes
Check out branch
Download
Patches
Plain diff
Daniel Brötzmann
requested to merge
module-type-annotations
into
master
Jun 15, 2023
Overview
8
Commits
17
Pipelines
0
Changes
43
Expand
Makes type checking possible for modules (both Gajim and nbxmpp)
Adds type narrowing where necessary
Fixes some type annotations
Fixes some potential bugs
Edited
Jun 16, 2023
by
Daniel Brötzmann
Merge request reports
Loading