Skip to content

No labels!

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

26 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
blocked
blocked
Status: marked as blocked on something else.
bug
bug
Something isn't working
build
build
5
ci
ci
Continuous integration
2
dependencies
dependencies
Pull requests that update a dependency file
documentation
documentation
Improvements or additions to documentation
3
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
go
go
Pull requests that update Go code
good first issue
good first issue
Good for newcomers
3
hacl
hacl
3
hax
hax
Proof tools
2
help wanted
help wanted
Extra attention is needed
1
inactive
inactive
Status: Inactive and waiting on the author.
invalid
invalid
This doesn't seem right
libjade
libjade
1
meta
meta
2
proof
proof
Proof related
python
python
Pull requests that update Python code
question
question
Further information is requested
rust
rust
Pull requests that update Rust code
waiting-on-author
waiting-on-author
Status: This is awaiting some action from the author.
1
waiting-on-review
waiting-on-review
Status: Awaiting review from the assignee but also interested parties.
1
wasm
wasm
1
wontfix
wontfix
This will not be worked on