Skip to content
GitLab

Prioritized Labels

Drag to reorder prioritized labels and change their relative priority.

Other Labels

  • Development
    Core Modules / dune-common
  • Ninja
    Core Modules / dune-common
  • Production
    Core Modules / dune-common
  • Ready
    Core Modules / dune-common
  • Technical Debt
    Technical Debt such as missing unit tests, reimplementation of standard library functionality, missing unit tests etc
    Core Modules
  • Testing
    Core Modules / dune-common
  • backport
    Core Modules / dune-common
  • bug
    Core Modules / dune-common
  • bug-of-the-year
    Core Modules / dune-common
  • bugfix
    Core Modules / dune-common
  • buildsystem
    Core Modules / dune-common
  • cleanup
    Core Modules / dune-common
  • concepts
    Core Modules / dune-common
  • critical
    Core Modules / dune-common
  • discussion
    Core Modules / dune-common
  • doc
    Core Modules / dune-common
  • duplicate
    Core Modules / dune-common
  • faq
    Core Modules / dune-common
  • feature
    Core Modules / dune-common
  • linux
    Core Modules / dune-common