No labels!
There aren’t any labels for this repository quite yet.
This issue concerns our GitHub Actions setup.
This is a bug-report. Bug-fix PRs use `C-enhancement` instead.
This is a PR that adds a new feature or fixes a bug.
This feature request is accepted.
This is a feature request issue. Implementations of feature requests use `C-enhancement` instead.
This is an issue or PR about stuff such as documentation, GitHub Actions or code quality.
Stuff like tracking issues or roadmaps. "musings about a better world".
A proposal of some kind, and a request for comments.
A non-feature request, e.g. "please document the usage of xx".
Pull requests that update a dependency file
Stuff where we want help.
This is neither `E-easy` not `E-hard`.
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.