Skip to content
GitLab
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
AG
SoSy-Lab
Issue should to be discussed in the next group meeting
Issues
Merge requests
Epics
Fork is private?
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
GDPR
SoSy-Lab
Related to GDPR compliance (data protection)
Issues
Merge requests
Epics
Prerun Requested
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
Problem with required package?
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
Shared runners enabled?
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
Status
CI Passes and Verifier Merged
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
Status
Final Results Approved
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
Status
Prerun Results OK
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
Status
Works with CoVeriTeam
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
Student Task
SoSy-Lab
A task that can be given to a student assistant who has free time
Issues
Merge requests
Epics
Teaching
SoSy-Lab
Issues
Merge requests
Epics
Thesis topic
SoSy-Lab
BA/MA thesis
Issues
Merge requests
Epics
Todo for submitter
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
Works with CoVeriTeam-Remote
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
bug
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
discussion
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
duplicate
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
enhancement
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
help wanted
SoSy-Lab / SV-Comp
Issues
Merge requests
Epics
Prev
1
2
Next
Prioritized