Skip to content

Prioritized labels

Drag to reorder prioritized labels and change their relative priority.

Other labels

  • bug
    Core Modules / dune-common
  • backport
    Core Modules / dune-common
  • Testing
    Core Modules / dune-common
  • Technical Debt
    Core Modules
    Technical Debt such as missing unit tests, reimplementation of standard library functionality, missing unit tests etc
  • Ready
    Core Modules / dune-common
  • Production
    Core Modules / dune-common
  • Ninja
    Core Modules / dune-common
  • Development
    Core Modules / dune-common