Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Nomadic Labs
Albert
Labels
All
Oldest created
Prioritized labels
Drag to reorder prioritized labels and change their relative priority.
Other labels
bug
Nomadic Labs / Albert
Issues
Merge requests
critical
Nomadic Labs / Albert
Issues
Merge requests
confirmed
Nomadic Labs / Albert
Issues
Merge requests
documentation
Nomadic Labs / Albert
Issues
Merge requests
support
Nomadic Labs / Albert
Issues
Merge requests
discussion
Nomadic Labs / Albert
Issues
Merge requests
suggestion
Nomadic Labs / Albert
Issues
Merge requests
enhancement
Nomadic Labs / Albert
Issues
Merge requests
emacs-mode
Nomadic Labs / Albert
Issues
Merge requests
specification
Nomadic Labs / Albert
All things related to the formal specification of the Albert language
Issues
Merge requests
compiler
Nomadic Labs / Albert
All things related to the Albert to michelson compiler
Issues
Merge requests
meta-theory
Nomadic Labs / Albert
Issues
Merge requests
priority
low
Nomadic Labs / Albert
Issues
Merge requests
priority
mid
Nomadic Labs / Albert
Issues
Merge requests
priority
high
Nomadic Labs / Albert
Issues
Merge requests
To Do
Nomadic Labs / Albert
Issues
Merge requests
Doing
Nomadic Labs / Albert
Issues
Merge requests
meta-issue
Nomadic Labs / Albert
Issues
Merge requests
test
Nomadic Labs / Albert
Issues
Merge requests
ci
Nomadic Labs / Albert
Issues
Merge requests
Prev
1
2
Next
Prioritized