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
14
AREA: BUILD
AREA: BUILD
6
AREA: DEPEXTS
AREA: DEPEXTS
25
AREA: DESIGN
AREA: DESIGN
10
AREA: DOCUMENTATION
AREA: DOCUMENTATION
35
AREA: ENGINE
AREA: ENGINE
41
AREA: LINTER
AREA: LINTER
1
AREA: PERFORMANCE
AREA: PERFORMANCE
23
AREA: PORTABILITY
AREA: PORTABILITY
31
AREA: RELEASE
AREA: RELEASE
7
AREA: REPOSITORY
AREA: REPOSITORY
6
AREA: SANDBOX
AREA: SANDBOX
1
AREA: SOLVER
AREA: SOLVER
18
AREA:TEST
AREA:TEST
10
AREA: UI
AREA: UI
81
CI:BINARIES
CI:BINARIES
Enables binaries generation in CI for a given PR
CONSIDER CLOSING
CONSIDER CLOSING
6
easy first issue
easy first issue
19
IMPORTANT
IMPORTANT
1
JSON
JSON
1
KIND: BUG
KIND: BUG
93
KIND: FEATURE WISH
KIND: FEATURE WISH
176
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
11
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
9
PR: WAITING FOR REVIEW
PR: WAITING FOR REVIEW
12
PR: WIP
PR: WIP
Not for merge at this stage
29