Skip to content

No labels!

There aren’t any labels for this repository quite yet.

13 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
Something isn't working
16
Component:dataCube
Component:dataCube
Data cube's component involved in the issue
12
Component:dataCubeServer
Component:dataCubeServer
Data cube server's component involved in the issue
2
Component:Mizar
Component:Mizar
Mizar's component involved in the issue
5
Component:MizarWidget
Component:MizarWidget
MizarWidget's component involved in the issue
2
Component:SCO
Component:SCO
SCO's component involved in the issue
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
4
good first issue
good first issue
Good for newcomers
1
help wanted
help wanted
Extra attention is needed
invalid
invalid
This doesn't seem right
question
question
Further information is requested
wontfix
wontfix
This will not be worked on