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
Programming exercises
: Enhance filtering for error analysis #9315base: develop
Are you sure you want to change the base?
Programming exercises
: Enhance filtering for error analysis #9315Changes from all commits
0b1023e
e14b18c
8e4c046
bd0ff93
5a4800c
0d087aa
ec9fe4d
e7d16c7
289d2ea
f03def0
c4b5503
e6f41e1
b6ad90e
4592cfe
afffba3
e0df0a8
0b6c5fa
4547ae5
5a00250
46270e9
fc1f68f
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
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.
Follow-up: As soon as filtering is added, remove:
Additionally, as soon as we only have one colume to sort for, please try to include that into the DB query.