Skip to content

Prioritized labels

Drag to reorder prioritized labels and change their relative priority.

Other labels

  • type::bug
    Jochum van der Ploeg / benchmark
    Bug report
  • type::feature
    Jochum van der Ploeg / benchmark
    Feature request
  • type::improvement
    Jochum van der Ploeg / benchmark
    Improvement suggestion