Skip to content
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.

Sign up for GitHub

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

Jump to bottom

New code style warnings #824

Closed
stellatsv opened this issue Jan 28, 2022 · 2 comments
Closed

New code style warnings #824

stellatsv opened this issue Jan 28, 2022 · 2 comments
Labels
investigate low low priority issue
Milestone
Trivial New Features

Comments

@stellatsv
Copy link
Member

  • E.g., “don’t use Option.get”, “don’t omit this”, etc.
  • Customizable by course at least. And perhaps also by module!
  • IntelliJ inspections
@stellatsv stellatsv added the low low priority issue label Jan 28, 2022
@stellatsv stellatsv added this to the Trivial New Features milestone Jan 28, 2022
@stellatsv
Copy link
Member Author

Investigate how we could do this.

@Taikelenn Taikelenn removed their assignment Jun 7, 2022
@OlliKiljunen
Copy link
Member

Result of the investigation: not worth it. Use some existing linter instead (maybe specify that in course config file).

@OlliKiljunen OlliKiljunen closed this as not planned Won't fix, can't repro, duplicate, stale Sep 29, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
investigate low low priority issue
Projects
None yet
Milestone
Trivial New Features
Development

No branches or pull requests
3 participants
@OlliKiljunen @stellatsv @Taikelenn