Labels

Something isn't working

The quality of the source code needs to be improved [no change of functionality]

Pull requests that update a dependency file

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Pull requests that update Github_actions code

Good for newcomers

Extra attention is needed

This doesn't seem right

Pull requests that update Java code

Mend configuration error

Security vulnerability detected by Mend

This issue has a lower priority than all other issues, needs to be requested explicitly

This issue has high priority

Not directly a verifiable bug but not good either (bad smell alike) [change in functionality]

Further information is requested

Related to security problems

Security fix generated by Mend

Components related to de.tum.in.test.api.structural

waiting for contributor

This will not be worked on