Prioritized Labels
Other Labels
S-blocked
This issue/MR is blocked on resolving some other issue or merging another MR
Iris
S-draft
Status: this is a draft MR; more work by the author and/or reviewer is needed to fully flesh out its design
Iris
S-waiting-for-author
Status: waiting for the MR author to do something
Iris
S-waiting-for-review
Status: someone is assigned at should look at this
Iris
bug
Iris / RefinedC
building
Iris / RefinedC
caesium
Iris / RefinedC
feature
Iris / RefinedC
frontend
Iris / RefinedC
in-progress
Iris / RefinedC
infrastructure
Iris / RefinedC
performance
Iris / RefinedC
project
Iris / RefinedC
promised
Iris / RefinedC
solvers
Iris / RefinedC
soundness
Iris / RefinedC
standard-types
Iris / RefinedC
tutorial
Iris / RefinedC
typesystem
Iris / RefinedC
usability
Iris / RefinedC
Prioritized label