Skip to content

No labels!

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

29 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
automated pr
automated pr
awaiting upstream fix
awaiting upstream fix
awaiting-author-action
awaiting-author-action
3
awaiting-continuous-integration-check
awaiting-continuous-integration-check
1
awaiting-merge-of-dependency
awaiting-merge-of-dependency
1
awaiting-reporter-feedback
awaiting-reporter-feedback
awaiting-reviewer-feedback
awaiting-reviewer-feedback
5
awaiting-timing-info
awaiting-timing-info
bug
bug
2
Coq bug
Coq bug
Coq 8.6.1
Coq 8.6.1
Coq 8.7
Coq 8.7
dependencies
dependencies
duplicate
duplicate
enhancement
enhancement
10
good first issue
good first issue
2
help wanted
help wanted
18
includes-wishlist
includes-wishlist
1
invalid
invalid
LGTM (ready to be merged by author)
LGTM (ready to be merged by author)
needs: fixing
needs: fixing
2
needs: generated file update
needs: generated file update
Updated generated files can be downloaded from the CI to fix this CI failure
question
question
12
rust
rust
skip ci
skip ci
Requests that the CI pass without running (not yet implemented)
sp2019latest
sp2019latest
submodules
submodules
1
wontfix
wontfix
work in progress
work in progress
6