No labels!
There aren’t any labels for this repository quite yet.
Area: This issue concerns our GitHub Actions setup.
Category: This is a bug-report. Bug-fix PRs use `C-enhancement` instead.
Category: This is a PR that adds a new feature or fixes a bug.
Category: This feature request is accepted.
Category: feature request issue. Implementations of feature requests use `C-enhancement` instead.
Category: This is an issue or PR about stuff such as documentation, GitHub Actions or code quality.
Category: Stuff like tracking issues or roadmaps. "musings about a better world".
Category: A proposal of some kind, and a request for comments.
Category: A user question.
Category: A non-feature request, e.g. "please document the usage of xx".
Effort: Stuff where we want help.
Effort: This is neither `E-easy` not `E-hard`.
Effort: This bug is missing a minimal complete and verifiable example.
This is a duplicate of another issue.
This issue is good for newcomers.
This issue is not a bug, which will not be worked on.
You can’t perform that action at this time.