Skip to content

No labels!

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

20 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
Something isn't working
12
ci
ci
Related to building or releasing from the CI system
dependencies
dependencies
Pull requests that update a dependency file
5
diagnostics
diagnostics
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
21
github_actions
github_actions
Pull requests that update GitHub Actions code
1
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
hovering
hovering
Issues related to hovering symbols
1
invalid
invalid
This doesn't seem right
language server
language server
Relates to the Dafny LSP server
10
parser
parser
performance
performance
1
question
question
Further information is requested
severity: release-blocker
severity: release-blocker
story
story
2
syntax highlighting
syntax highlighting
Relates to the tmLanguage grammar
1
wontfix
wontfix
This will not be worked on