Skip to content
Snippets Groups Projects
Sort by
  • Name
  • Name, descending
  • Last created
  • Oldest created
  • Updated date
  • Oldest updated

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