Skip to content

No labels!

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

49 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
Priority: Critical
Priority: Critical
Priority: High
Priority: High
Priority: Low
Priority: Low
1
Priority: Medium
Priority: Medium
1
Question
Question
5
ready-to-merge
ready-to-merge
PR is ready to merge when all CI has passed
Reporting Bug
Reporting Bug
Bug in reporting semantics, error reporting
1
Review Needed
Review Needed
rlos2023
rlos2023
2
Size: ~day
Size: ~day
Size: ~hour
Size: ~hour
Size: ~month
Size: ~month
Size: ~trivial
Size: ~trivial
Size: ~week
Size: ~week
Technical debt
Technical debt
Things that are mis-done and need some fixing
20
Test Issue
Test Issue
Test failure or running issue
8
Unintuitive Behavior
Unintuitive Behavior
Not a bug precisely, but a behavior that is surprising.
9
WIP
WIP
This PR is not yet ready for merging
Workaround Exists
Workaround Exists
There exists a workaround to the issue, and it is documented in the description