Skip to content

Prioritized labels 0

Drag to reorder prioritized labels and change their relative priority.

Other labels 11

  • GitLab-CI/CD
    Max Ole Elliger / Template Coq-Project
  • Makefile
    Max Ole Elliger / Template Coq-Project
  • WIP
    Max Ole Elliger / Template Coq-Project
  • bug
    Max Ole Elliger / Template Coq-Project
  • critical
    Max Ole Elliger / Template Coq-Project
  • extension
    Max Ole Elliger / Template Coq-Project
  • feature
    Max Ole Elliger / Template Coq-Project
  • need help
    Max Ole Elliger / Template Coq-Project
  • needs more info
    Max Ole Elliger / Template Coq-Project
  • untested
    Max Ole Elliger / Template Coq-Project
  • wontfix
    Max Ole Elliger / Template Coq-Project