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