Skip to content

Prioritized labels

Drag to reorder prioritized labels and change their relative priority.

Other labels

  • state::in-progress
    Formal Land / Coq Tezos of OCaml 馃挮
  • state::in-review
    Formal Land / Coq Tezos of OCaml 馃挮
  • state::ready-to-merge
    Formal Land / Coq Tezos of OCaml 馃挮
  • storage
    Formal Land / Coq Tezos of OCaml 馃挮
  • tests
    Formal Land / Coq Tezos of OCaml 馃挮