Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • af3 af3
  • Group information
    • Group information
    • Activity
    • Labels
    • Members
  • Issues 171
    • Issues 171
    • List
    • Board
    • Milestones
  • Merge requests 30
    • Merge requests 30
  • Packages and registries
    • Packages and registries
    • Package Registry
Collapse sidebar
  • af3af3
  • Labels
  • All
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