Skip to content

Prioritized labels 0

Drag to reorder prioritized labels and change their relative priority.

Other labels 31

  • Doing
    Nomadic Labs / Mi-Cho-Coq
  • Done
    Nomadic Labs / Mi-Cho-Coq
  • Release Management Crew
    Nomadic Labs
  • Todo
    Nomadic Labs / Mi-Cho-Coq
  • TzNet 🖧
    Nomadic Labs
  • TzTraffic ⛖
    Nomadic Labs
  • Yes_wallet 👛
    Nomadic Labs
  • beginner
    Nomadic Labs / Mi-Cho-Coq
  • bug
    Nomadic Labs / Mi-Cho-Coq
  • build
    Nomadic Labs / Mi-Cho-Coq
  • ci
    Nomadic Labs / Mi-Cho-Coq
  • coq-of-ocaml 🐓
    Nomadic Labs / Mi-Cho-Coq
  • dexter2
    Nomadic Labs / Mi-Cho-Coq
  • doc
    Nomadic Labs / Mi-Cho-Coq
  • documentation
    Nomadic Labs / Mi-Cho-Coq
  • formalisation
    Nomadic Labs / Mi-Cho-Coq
  • framework
    Nomadic Labs / Mi-Cho-Coq
  • gas
    Nomadic Labs / Mi-Cho-Coq
  • mergable
    Nomadic Labs / Mi-Cho-Coq
  • optimizer
    Nomadic Labs / Mi-Cho-Coq