Skip to content

No labels!

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

91 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
fixed-upstream
fixed-upstream
Tag a ticket with this when a fix upstream has been completed and we can now address the ticket
3
flaky-test
flaky-test
1
folding
folding
github_actions
github_actions
Pull requests that update GitHub Actions code
go-to-implementations
go-to-implementations
good first issue
good first issue
7
gradle
gradle
Gradle related tikets
4
hover
hover
3
improvement
improvement
Not a bug or a feature, but something general we can improve
49
indexing
indexing
inlay-hints
inlay-hints
inline
inline
installation
installation
Related to how you install Metals
1
investigation needed
investigation needed
15
java support
java support
Java support related tickets
8
javascript
javascript
Pull requests that update Javascript code
library-update
library-update
3
maven
maven
Maven related tickets
merge after release
merge after release
mill
mill
Mill related tickets
3
missing-reproduction
missing-reproduction
Use to tag an issue if we are unable to reproduce
navigation
navigation
Related to goto definition, find references, open symbol
6
needs more information
needs more information
Use if we need more information for a specific ticket
12
new-feature
new-feature
old-version-remains
old-version-remains
2
performance
performance
Performance related ticket
presentation-compiler
presentation-compiler
Something relating to the presentation compiler
37
priority:low
priority:low
2
rename
rename
2
reporting
reporting
1