Skip to content

Prioritized labels

Drag to reorder prioritized labels and change their relative priority.

Other labels

  • AG
    SoSy-Lab
    Issue should to be discussed in the next group meeting
  • Fork is private?
    SoSy-Lab / SV-Comp
  • GDPR
    SoSy-Lab
    Related to GDPR compliance (data protection)
  • 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
  • StatusWorks with CoVeriTeam
    SoSy-Lab / SV-Comp
  • Student Task
    SoSy-Lab
    A task that can be given to a student assistant who has free time
  • Teaching
    SoSy-Lab
  • Thesis topic
    SoSy-Lab
    BA/MA thesis
  • 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