Labels · Teaching / hdnum · GitLab

All

Prioritized labels 0

Drag to reorder prioritized labels and change their relative priority.

Other labels 4

bug

Teaching / hdnum
- Issues
- Merge requests
enhancement

Teaching / hdnum
- Issues
- Merge requests
tests

Teaching / hdnum
Issues or Pullrequests related to missing or added tests
- Issues
- Merge requests
tooling

Teaching / hdnum
Issues or Pullrequests related to tooling
- Issues
- Merge requests