Prioritized labels
Drag to reorder prioritized labels and change their relative priority.
Other labels
CI/CD
picos-api / PICOS
The issue concerns the GitLab CI/CD pipeline and the associated non-source releases of PICOS.
fix on branch
picos-api / PICOS
The issue was fixed on a branch that has not been merged into master yet.
Prioritized