Skip to content

No labels!

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

22 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
Something isn't working
13
critical
critical
Critical issue that is a blocker and we need to solve immediately; use sparingly
3
dependencies
dependencies
Pull requests that update a dependency file
4
dependencies-issue
dependencies-issue
discussion
discussion
Ideas needed from the community
4
documentation
documentation
Improvements or additions to documentation
3
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
15
github_actions
github_actions
Pull requests that update GitHub Actions code
10
GitHub SBV Actions 💪
GitHub SBV Actions 💪
good first issue
good first issue
Good for newcomers
2
help wanted
help wanted
Extra attention is needed
10
high
high
High priority issue affecting core functionality but not a blocker
4
invalid
invalid
This doesn't seem right
low
low
Can be deprioritized in favor of other issues; can be picked up by new contributors
6
medium
medium
Useful issue or future roadmap, and needs attention
11
model-idea
model-idea
An initial idea for a model
new-model
new-model
New model requested
13
on-hold
on-hold
Interesting issue that we deprioritize
10
question
question
Further information is requested
5
stuck
stuck
Stucked with this issue, help needed
1
wontfix
wontfix
This will not be worked on