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
Sync linter with ethz fork #1
base: master
Are you sure you want to change the base?
Sync linter with ethz fork #1
Changes from all commits
80731d1
3a22b26
e73a0cc
81bd7fa
2a0551f
a7bf3ce
f0fc44d
6945964
03b9686
d0e74db
fdd5b86
6e511cd
956fdc3
1c04254
6d416a5
cd91c54
a81569c
6d61256
6cf67b5
de9bf9b
db10109
ac5b666
b185a75
64a518c
add18a7
1ed08cf
6711217
7b5d274
242ca01
c7bc193
206b47f
6bd2994
27a9e41
f3f6f04
612ec9c
6b16c92
a27fb4b
a4a36ad
2ccae37
be45d4e
317b9c6
bf00832
a64865d
ade3956
a2230c7
85e281a
5c16bde
77959ea
dab9bd6
d76091b
c2b19b3
47de734
1ae28c4
a33f2c4
c425a88
684e464
3fe27b4
04bf888
72d054d
4ca8884
2007a9d
4d3087d
a6561ad
bbd2cc3
e944d49
09f2264
e871a31
9e3a9b0
cb070ec
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing