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
WIP: Add the optional argument of --reach to certain checks #210
base: master
Are you sure you want to change the base?
WIP: Add the optional argument of --reach to certain checks #210
Changes from 22 commits
1ce5a91
4adfae8
c099fea
00f1dc1
382cd12
36b6896
f94d0a8
ca493a2
436a3ac
9877d33
0022a70
5c562da
6e329d7
01d1c0a
85e6d8f
84afe04
226ab02
5a62619
a54690f
1702013
f5ce127
5afc4eb
095b3ea
f066426
93600cf
ffc4f69
64562e0
e3140bb
09a4531
2ae541e
fe1ea36
861f438
0b6e2d6
f3e1152
b0a83f1
0f9cf70
1b11845
70820f3
de2b425
5da55d9
6b28711
b54948c
b602b90
0722b35
980cad8
95da735
c3bc372
b2a7fd8
4260cb1
0e9d65d
a6bdead
1db21ac
3b554b3
265d8a7
e8494a2
52d60ee
2f031ad
ccecccd
a422de1
43030a4
8c96625
994304d
a0b4c13
f67f89b
685dd6d
030f90d
c5f4346
a1f3703
bc06ab0
7e14431
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.