Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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.
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
Type checking #357
Type checking #357
Changes from 33 commits
383b51d
b449996
781e41e
7b3fdd9
6390afc
3593b8a
ff86db4
ea97e2b
389bd42
6832977
05c151a
0f57fdc
1c307f6
b5a2974
0d4df2f
5bd84e5
fc5824a
52dc901
1aa9ef2
f484917
8637e9e
a07dfcf
68a4c03
b9f2d05
3e0d147
0de8bbc
9961a86
b9d784f
0defe99
1323985
9bf1357
82ac636
f67eb1e
41d4a19
9dcfcd6
f5ef6f6
10a3409
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing