Labels · thepieterdc/dodona-plugin-jetbrains

Issues that cannot be resolved until other issues are resolved

bug 🐛

Something that should be working, isn't working

Pull requests that update a dependency file

Code/performance improvements

New features

Pull requests that update Github_actions code

Extra attention is needed

java

Pull requests that update Java code

Major, important issues

Minor issues

Further information is requested

Research is required

UI

User interface things

UX

User experience enhancements/bugs

Provide feedback