Skip to content
GitLab
  • Explore
  • Sign in
  • af3af3
  • af3-features
  • Labels
  • All

Prioritized labels

Drag to reorder prioritized labels and change their relative priority.

Other labels

  • Area::DSE
    af3
    • Issues
    • Merge requests
  • Area::Formal Verification
    af3
    • Issues
    • Merge requests
  • Area::Product maintainance
    af3
    • Issues
    • Merge requests
  • Hackathon
    af3
    • Issues
    • Merge requests
  • JavaFX
    af3
    • Issues
    • Merge requests
  • Prio::High
    af3
    • Issues
    • Merge requests
  • State::Feedback Requested
    af3
    • Issues
    • Merge requests
  • State::In Progress
    af3
    • Issues
    • Merge requests
  • State::New
    af3
    • Issues
    • Merge requests
  • State::Rejected
    af3
    • Issues
    • Merge requests
  • State::Resolved
    af3
    • Issues
    • Merge requests
  • Type::Bug
    af3
    • Issues
    • Merge requests
  • Type::Change Request
    af3
    • Issues
    • Merge requests
  • Type::Feature
    af3
    • Issues
    • Merge requests
  • Type::Support
    af3
    • Issues
    • Merge requests