Labels

13 labels

bug
bug
Something isn't working
CI-build-full
CI-build-full
Opt into the full PR CI matrix (Compat/Heavy tiers)
ci-compat-failure
ci-compat-failure
Automated Lean/Rust version-drift CI failure tracker
CI-no-fail-fast
CI-no-fail-fast
Disable fail-fast on the PR CI matrix so all legs report
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
invalid
invalid
This doesn't seem right
question
question
Further information is requested
semver-break
semver-break
PR intentionally contains semver-breaking changes
wontfix
wontfix
This will not be worked on