Skip to content

No labels!

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

28 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
backlog
backlog
5
blocked-external
blocked-external
bug
bug
Something isn't working
16
build
build
Build and CI
codegen
codegen
2
dependency-upgrade
dependency-upgrade
documentation
documentation
Improvements or additions to documentation
8
don't merge yet
don't merge yet
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
17
github_actions
github_actions
Pull requests that update GitHub Actions code
good first issue
good first issue
Good for newcomers
good-first-issues
good-first-issues
gradle-wrapper
gradle-wrapper
Pull requests that update Gradle wrapper
1
help wanted
help wanted
Extra attention is needed
invalid
invalid
This doesn't seem right
investigate
investigate
7
java
java
Pull requests that update Java code
Need more detail
Need more detail
This issue needs more detail, or will be closed otherwise.
open-source-day
open-source-day
performance-improvement
performance-improvement
post-legacy-cleanup
post-legacy-cleanup
1
pr-ready
pr-ready
question
question
Further information is requested
Refactor
Refactor
Reserved for GHC open source day
Reserved for GHC open source day
stale
stale
18
wontfix
wontfix
This will not be worked on