Skip to content
GitLab

Prioritized labels

Drag to reorder prioritized labels and change their relative priority.

Other labels

  • soundness
    Iris / RefinedC
  • standard-types
    Iris / RefinedC
  • tutorial
    Iris / RefinedC
  • typesystem
    Iris / RefinedC
  • usability
    Iris / RefinedC