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
Enable linter in the CI #527
Enable linter in the CI #527
Changes from all commits
52eb401
8b26390
ce3e597
2d85251
dae9ffc
fbd289c
9fc0d79
757dd4a
cd5d67e
c3bc175
38d876c
6dc12c9
9ae3d4e
6fdd0f9
b7dd5ba
a407e2d
ab9ecc0
c2b6dc2
9fb52f6
7779c77
2677088
111c5c7
1669ef3
3954ef5
45a5b53
3c95238
9927eaf
0a93074
286e2b1
6f31be0
775cdcf
7f39397
82f8be6
b122da6
29f5938
0c7007d
8923b04
64bbfd7
24c9ac7
e394160
ba98be8
9053968
90ece0d
cbee9c2
712cbd9
881bfdb
585b850
47673af
c619822
b071528
126ac58
f0f2c02
fdbb16e
7de9cd4
6f87193
effe273
215433b
d8b38c0
e56fec2
67ff4a5
2e142d7
adfe6eb
36ffc7b
96cf62e
aabb0b8
1530249
9f9e0f7
35a55aa
f8d0235
496168c
4256cb3
00b5900
b1a18ef
fee07a2
a8185f2
99e4f5c
27d3630
fe1f54f
ee97c83
d528c20
872c62a
5a15399
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
This file was deleted.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This sounds like either a TODO, or an issue that should be created, no?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
#530