Skip to content

No labels!

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

36 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
AREA: API
AREA: API
7
AREA: BUILD
AREA: BUILD
7
AREA: DEPEXTS
AREA: DEPEXTS
22
AREA: DESIGN
AREA: DESIGN
8
AREA: DOCUMENTATION
AREA: DOCUMENTATION
37
AREA: ENGINE
AREA: ENGINE
33
AREA: LINTER
AREA: LINTER
1
AREA: PERFORMANCE
AREA: PERFORMANCE
17
AREA: PORTABILITY
AREA: PORTABILITY
28
AREA: RELEASE
AREA: RELEASE
3
AREA: REPOSITORY
AREA: REPOSITORY
8
AREA: SANDBOX
AREA: SANDBOX
AREA: SOLVER
AREA: SOLVER
19
AREA:TEST
AREA:TEST
9
AREA: UI
AREA: UI
72
CI:BINARIES
CI:BINARIES
Enables binaries generation in CI for a given PR
CONSIDER CLOSING
CONSIDER CLOSING
5
easy first issue
easy first issue
19
IMPORTANT
IMPORTANT
2
JSON
JSON
1
KIND: BUG
KIND: BUG
82
KIND: FEATURE WISH
KIND: FEATURE WISH
173
KIND: PLUGIN CANDIDATE
KIND: PLUGIN CANDIDATE
Feature requests that might best be implemented as plugins to opam
6
KIND: QUESTION
KIND: QUESTION
KIND: REGRESSION
KIND: REGRESSION
PR: NEEDS UPDATE
PR: NEEDS UPDATE
6
PR: OUTDATED
PR: OUTDATED
This PR might still have meaningful content, but is getting stale and might be closed
1
PR: QUEUED
PR: QUEUED
Pending pull request, waiting for other work to be merged or closed
8
PR: WAITING FOR REVIEW
PR: WAITING FOR REVIEW
32
PR: WIP
PR: WIP
Not for merge at this stage
37