Skip to content

No labels!

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

34 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
part: CameLIGO
part: CameLIGO
Issues and PRs related to CameLIGO extraction
2
part: dependencies
part: dependencies
part: Elm
part: Elm
Issues and PRs related to Elm extraction
part: embedding
part: embedding
Issues and PRs related to the embedding layer
part: examples
part: examples
Issues and PRs related to examples
1
part: execution
part: execution
Issues and PRs related to the execution layer
2
part: extraction
part: extraction
Issues and PRs related to extraction framework
part: infrastructure
part: infrastructure
Issues and PRs related to CI, makefiles, opam, docker, scripts, etc.
part: Liquidity
part: Liquidity
Issues and PRs related to Liquidity extraction
part: Rust
part: Rust
Issues and PRs related to Rust extraction
part: testing
part: testing
Issues and PRs related to the testing framework
priority: blocker
priority: blocker
Urgently needed
priority: critical
priority: critical
Urgently needed
priority: high
priority: high
High priority issue/PR
priority: low
priority: low
Low priority issue/PR
priority: medium
priority: medium
Medium priority issue/PR
state: blocked
state: blocked
Something blocks completion of this issue or pull request
state: duplicate
state: duplicate
This issue or pull request already exists
state: invalid
state: invalid
This doesn't seem right
state: needs information
state: needs information
Further information is requested
state: review needed
state: review needed
PR needs review
state: wontfix
state: wontfix
This will not be worked on
state: work in progress
state: work in progress
Issue/PR being worked on
type: bug
type: bug
Something isn't working
type: discussion
type: discussion
Discussion about a feature
type: documentation
type: documentation
Changes to documentation
type: enhancement
type: enhancement
Enhancement to an existing feature
2
type: feature request
type: feature request
Feature or enhancement requests