Skip to content

No labels!

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

33 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
autorelease: pending
autorelease: pending
1
autorelease: published
autorelease: published
Might replace `autorelease: tagged` when published in opam.
autorelease: tagged
autorelease: tagged
good first issue
good first issue
2
help wanted
help wanted
5
issue: upstream
issue: upstream
Issue handled upstream
kind: bug
kind: bug
27
kind: cleanup
kind: cleanup
1
kind: documentation
kind: documentation
6
kind: enhancement
kind: enhancement
Enhancement to an existing user-facing feature.
22
kind: feature
kind: feature
New user-facing feature.
39
kind: fix
kind: fix
3
kind: infrastructure
kind: infrastructure
CI, build tools, development tools
6
kind: meta
kind: meta
Meta discussion beyond a mere feature or defect
2
kind: question
kind: question
26
kind: regression
kind: regression
kind: test
kind: test
needs: discussion
needs: discussion
needs: documentation
needs: documentation
needs: fixing
needs: fixing
needs: merge of dependency
needs: merge of dependency
This PR depends on another PR being merged first.
1
needs: more info
needs: more info
needs: rebase
needs: rebase
needs: squash
needs: squash
needs: testing
needs: testing
part: CSS
part: CSS
6
platform: macOS
platform: macOS
platform: Windows
platform: Windows
priority: high
priority: high
2
resolved: duplicate
resolved: duplicate