Skip to content
GitLab
Explore
Sign in
All
Name
Labels can be applied to issues and merge requests. Group labels are available for any project within the group.
Labels
15
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