Skip to content

No labels!

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

19 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
agdaup
agdaup
8
bug
bug
Something isn't working
1
build:legacy
build:legacy
build:stack
build:stack
1
build
build
dependencies
dependencies
Pull requests that update a dependency file
dist
dist
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
3
github_actions
github_actions
Pull requests that update GitHub Actions code
2
good first issue
good first issue
Good for newcomers
1
help wanted
help wanted
Extra attention is needed
1
invalid
invalid
This doesn't seem right
javascript
javascript
Pull requests that update Javascript code
license
license
question
question
Further information is requested
1
simplify
simplify
wontfix
wontfix
This will not be worked on