Skip to content
GitLab
Next
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
SoSy-Lab
SV-Comp
Labels
All
Name
Labels can be applied to issues, merge requests, and epics. Group labels are available for any project within the group.
Labels
information
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
invalid
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
priority
high
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
question
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
todo
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
Prev
1
2
Next
Prioritized