Skip to content

Prioritized labels 3

Drag to reorder prioritized labels and change their relative priority.
  • P1
    pub / Why3find
    High Priority
  • P2
    pub / Why3find
    Medium Priority
  • P3
    pub / Why3find
    Low priority

    • Other labels 12

  • api
    pub / Why3find
    Why3find API
  • bug
    pub / Why3find
    Incorrect behavior
  • CI
    pub / Why3find
    Continuous Integration
  • cli
    pub / Why3find
    Command Line Interface
  • design
    pub / Why3find
    Requires R&D
  • dev
    pub / Why3find
    Why3find Development Environment
  • doc
    pub / Why3find
    Why3find Generated Documentation
  • emacs
    pub / Why3find
  • feature
    pub / Why3find
    New Feature Request
  • lsp
    pub / Why3find
    LSP and Integration with IDEs
  • manual
    pub / Why3find
    User Documentation
  • prove
    pub / Why3find
    Why3find Proof Strategy