Skip to content

No labels!

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

37 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
Label for issues or PR which report or fix bugs
4
bug-fix
bug-fix
A label for PRs that fix a bug.
build-system
build-system
A label for issues or PRs related to the build system
C++ language
C++ language
Label for PR/issues related to the kernel module
ci
ci
A label for issues or PRs related to the continuous integration for Semigroups
2
critical
critical
Label for issues or PR that are critical
dependencies
dependencies
Pull requests that update a dependency file
development
development
Label for issues/pr related to development of the package
do not merge
do not merge
Label for PR that should not be merged
3
documentation
documentation
Issues and PRs related to documentation
2
duplicate
duplicate
Label for issues or PR that are duplicates of others
enhancement
enhancement
A label for issues or PRs that offer an enhancement to existing functionality
6
feature-request
feature-request
Label for feature requests
8
gap-compatibility
gap-compatibility
A label for PRs or issues that are related to compatibility with changes in GAP
1
help wanted
help wanted
A label for issues where help is wanted.
7
invalid
invalid
A label for issues that aren't really issues at all.
libsemigroups
libsemigroups
Bugs, or PRs relating to libsemigroups
1
major
major
A label for issues or PRs that require a major amount of work or big changes.
4
minor
minor
A label for issues or PRs that are not major.
3
new-feature
new-feature
A label for PRs that contain new features
18
newcomer-friendly
newcomer-friendly
A label for issues that are good for first time contributors.
4
not-backward-compatible
not-backward-compatible
Should be applied to pull requests that break backwards compatibility
performance
performance
A label for issues or PRs that relate to performance.
possible-bug
possible-bug
A label for issues that might report bugs.
1
question
question
A label for issues that are questions
4
Re-run ci
Re-run ci
Label for PR where the CI should be re-run at some point because there is a failure in a dependency.
refactor
refactor
A label for issues or PR that refactor some part of the project
release-candidate
release-candidate
A label for PRs containing release candidates
resolved
resolved
A label for issues that are resolved but not closed for whatever reason.
resolved-pending-merge
resolved-pending-merge
A label for issues that are resolved pending a PR merge.