Skip to content
GitLab

Prioritized Labels

Other Labels

  • Technical Debt
    Technical Debt such as missing unit tests, reimplementation of standard library functionality, missing unit tests etc
    Core Modules
  • backport
    Core Modules / dune-localfunctions
  • bug
    Core Modules / dune-localfunctions
  • buildsystem
    Core Modules / dune-localfunctions
  • critical
    Core Modules / dune-localfunctions
  • discussion
    Core Modules / dune-localfunctions
  • doc
    Core Modules / dune-localfunctions
  • duplicate
    Core Modules / dune-localfunctions
  • faq
    Core Modules / dune-localfunctions
  • feature
    Core Modules / dune-localfunctions
  • linux
    Core Modules / dune-localfunctions
  • notabug
    Core Modules / dune-localfunctions
  • osx
    Core Modules / dune-localfunctions
  • suggestion
    Core Modules / dune-localfunctions
  • task
    Core Modules / dune-localfunctions
  • upstream
    Core Modules / dune-localfunctions
  • windows
    Core Modules / dune-localfunctions
  • wontfix
    Core Modules / dune-localfunctions