Labels

• awaiting-author

  awaiting-author

  The build failed or a review requested changes; author action needed

• awaiting-CI

  awaiting-CI

  CI has not yet reported on the latest commit

• awaiting-review

  awaiting-review

  CI is green; waiting for review verdicts

• bug

  bug

  Something isn't working

• dependency-incompatibility

  dependency-incompatibility

  Automated tracker opened by downstream-reports

• dependency-incompatibility-fix

  dependency-incompatibility-fix

  Fix PR for a dependency incompatibility, opened by downstream-reports

• 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

• keep

  keep

  Opt this PR out of automatic queue-housekeeping closure (Coordination contract §5)

• question

  question

  Further information is requested

• ready-to-merge

  ready-to-merge

  CI green and every rubric approved; ready to merge

• review-in-progress

  review-in-progress

  A review is running on this exact commit right now

• roadmap/CombinatorialHeegaardFloer

  roadmap/CombinatorialHeegaardFloer

  PR advances the CombinatorialHeegaardFloer roadmap

• roadmap/ConformalMapping

  roadmap/ConformalMapping

  PR advances the ConformalMapping roadmap

• roadmap/ContourIntegration

  roadmap/ContourIntegration

  PR advances the ContourIntegration roadmap

• roadmap/EffectiveBounds

  roadmap/EffectiveBounds

  PR advances the EffectiveBounds roadmap

• roadmap/Exchangeability

  roadmap/Exchangeability

  PR advances the Exchangeability roadmap

• roadmap/GeometricTopology

  roadmap/GeometricTopology

  PR advances the GeometricTopology roadmap

• roadmap/HeegaardFloer

  roadmap/HeegaardFloer

  PR advances the HeegaardFloer roadmap

• roadmap/JacobianChallenge

  roadmap/JacobianChallenge

  PR advances the JacobianChallenge roadmap

• roadmap/Multiquadratic

  roadmap/Multiquadratic

  PR advances the Multiquadratic roadmap

• roadmap/none

  roadmap/none

  PR advances no roadmap (infra, refactor, or a Mathlib bump)

• roadmap/OneParameterSemigroups

  roadmap/OneParameterSemigroups

  PR advances the OneParameterSemigroups roadmap

• roadmap/OrthogonalL2Bases

  roadmap/OrthogonalL2Bases

  PR advances the OrthogonalL2Bases roadmap

• roadmap/PDE

  roadmap/PDE

  PR advances the PDE roadmap

• roadmap/ReductiveGroups

  roadmap/ReductiveGroups

  PR advances the ReductiveGroups roadmap