Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Tezos
tezos
Labels
All
Name
Prioritized labels
Drag to reorder prioritized labels and change their relative priority.
priority
critical
Tezos / tezos
Prioritized
Issues
Merge requests
type
incident
Tezos / tezos
Denotes a disruption to IT services and the associated issues require immediate attention
Prioritized
Issues
Merge requests
type
bug
Tezos / tezos
Prioritized
Issues
Merge requests
priority
high
Tezos / tezos
Prioritized
Issues
Merge requests
type
flake
Tezos / tezos
Tests which fail, but not always.
Prioritized
Issues
Merge requests
priority
medium
Tezos / tezos
Or simply to be done after a high priority
Prioritized
Issues
Merge requests
confirmed 👁
Tezos / tezos
Prioritized
Issues
Merge requests
Other labels
ci--no-coverage
Tezos / tezos
Desactivate job unified_coverage on merge request
Issues
Merge requests
ci--no-docs
Tezos / tezos
Issues
Merge requests
ci--opam
Tezos / tezos
Issues
Merge requests
ci--run-all-tezts
Tezos / tezos
Issues
Merge requests
client 🏧
Tezos / tezos
Issues
Merge requests
compiler 🤖
Tezos / tezos
Issues
Merge requests
coq-of-ocaml 🐔
Tezos / tezos
Issues
Merge requests
crypto
Tezos / tezos
Issues
Merge requests
dalphanet
Tezos / tezos
Issues specific to the Dalphanet test network (
https://forum.tezosagora.org/t/dalphanet-was-launched/2089
)
Issues
Merge requests
deps-rework
Tezos / tezos
Issues
Merge requests
doc 📖
Tezos / tezos
Issues
Merge requests
doc-only
Tezos / tezos
Issues
Merge requests
docker 🐳
Tezos / tezos
Issues
Merge requests
dune3
Tezos / tezos
Issues
Merge requests
emacs
Tezos / tezos
Issues
Merge requests
encoding
Tezos / tezos
Issues
Merge requests
error-handling
Tezos / tezos
Issues
Merge requests
evm-fast-pipeline
Tezos / tezos
Issues
Merge requests
evm
bridge
Tezos / tezos
Issues
Merge requests
evm
dsn
Tezos / tezos
Issues
Merge requests
Prev
1
2
3
4
5
6
7
…
10
Next
Prioritized