July 25, 2021 – August 1, 2021
Overview
-
- 6 Merged Pull Requests
- 0 Open Pull Requests
- 0 Closed Issues
- 1 New Issue
Could not load contribution data
Please try again later
6 Pull requests merged by 3 people
-
Set [mypy] allow_untyped_defs=False and add all missing types
#1308 merged
Jul 31, 2021 -
More types for symbolic.py
#1307 merged
Jul 31, 2021 -
Improve types of objects/
#1305 merged
Jul 31, 2021 -
Fix orderdict, improve types
#1304 merged
Jul 31, 2021 -
Fix typing of Head.create_head
#1302 merged
Jul 31, 2021 -
Added support of spaces for clone multi_options
#1299 merged
Jul 27, 2021
1 Issue opened by 1 person
-
cannot import name 'OrderedDict' from 'typing'
#1300 opened
Jul 28, 2021
1 Unresolved conversation
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
Type Hints
#1095 commented on
Jul 30, 2021 • 16 new comments