Prioritized Labels
Other Labels
AG
Issue should to be discussed in the next group meeting
SoSy-Lab
Fork is private?
SoSy-Lab / SV-Comp
GDPR
Related to GDPR compliance (data protection)
SoSy-Lab
Prerun Requested
SoSy-Lab / SV-Comp
Problem with required package?
SoSy-Lab / SV-Comp
Shared runners enabled?
SoSy-Lab / SV-Comp
StatusCI Passes and Verifier Merged
SoSy-Lab / SV-Comp
StatusFinal Results Approved
SoSy-Lab / SV-Comp
StatusPrerun Results OK
SoSy-Lab / SV-Comp
Student Task
A task that can be given to a student assistant who has free time
SoSy-Lab
Teaching
SoSy-Lab
Thesis topic
BA/MA thesis
SoSy-Lab
Todo for submitter
SoSy-Lab / SV-Comp
Works with CoVeriTeam-Remote
SoSy-Lab / SV-Comp
bug
SoSy-Lab / SV-Comp
discussion
SoSy-Lab / SV-Comp
duplicate
SoSy-Lab / SV-Comp
enhancement
SoSy-Lab / SV-Comp
help wanted
SoSy-Lab / SV-Comp
information
SoSy-Lab / SV-Comp
Prioritized label