Prioritized Labels
Drag to reorder prioritized labels and change their relative priority.
priority: blocker
Why3 / why3
- Issues ·
- Merge requests ·
-
Prioritized label
priority: high
Why3 / why3
- Issues ·
- Merge requests ·
-
Prioritized label
priority: medium
Why3 / why3
- Issues ·
- Merge requests ·
-
Prioritized label
priority: low
Why3 / why3
- Issues ·
- Merge requests ·
-
Prioritized label
Other Labels
component: build system
Why3 / why3
component: configuration
Why3 / why3
component: continuous integration
Why3 / why3
component: core
Why3 / why3
component: counterexample
Why3 / why3
component: documentation
Why3 / why3
component: examples
Why3 / why3
component: execution
Why3 / why3
component: extraction
Why3 / why3
component: graphical user interface
Why3 / why3
component: provers
Why3 / why3
component: realizations
Why3 / why3
component: server
Why3 / why3
component: session
Why3 / why3
component: session server
Why3 / why3
component: syntax
Why3 / why3
component: theories
Why3 / why3
component: tools
Why3 / why3
component: transformations
Why3 / why3
component: trywhy3
Why3 / why3
Prioritized label