Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
af3
Labels
All
Name
Labels can be applied to issues and merge requests. Group labels are available for any project within the group.
Labels
Area::DSE
Issues
Merge requests
Area::Formal Verification
Issues
Merge requests
Area::Product maintainance
Issues
Merge requests
Hackathon
Issues
Merge requests
JavaFX
Issues
Merge requests
Prio::High
Issues
Merge requests
State::Feedback Requested
Issues
Merge requests
State::In Progress
Issues
Merge requests
State::New
Issues
Merge requests
State::Rejected
Issues
Merge requests
State::Resolved
Issues
Merge requests
Type::Bug
Issues
Merge requests
Type::Change Request
Issues
Merge requests
Type::Feature
Issues
Merge requests
Type::Support
Issues
Merge requests
Prioritized