Labels

• API

  API

• auto-update-lean

  auto-update-lean

• awaiting-author

  awaiting-author

  A reviewer has asked the author a question or requested changes

• blocked-by-mathlib-PR

  blocked-by-mathlib-PR

  This PR depends on a PR to Mathlib

• blocked-by-PR

  blocked-by-PR

  This PR depends on another PR

• bug

  bug

  Something isn't working

• CI

  CI

• dependencies

  dependencies

  Pull requests that update a dependency file

• dependency-bump

  dependency-bump

  This PR bumps the version of an upstream dependency (but not toolchain)

• documentation

  documentation

  Improvements or additions to documentation

• easy

  easy

  < 20s of review time

• enhancement

  enhancement

  New feature or request

• formalization

  formalization

  An issue asking for a formalization

• good first issue

  good first issue

  Good for newcomers

• help-wanted

  help-wanted

  Extra attention is needed

• merge-conflict

  merge-conflict

  The PR has a merge conflict with master

• new-contributor

  new-contributor

  This PR was made by a contributor with at most 5 merged PRs. Welcome to the community!

• PhyslibAlpha

  PhyslibAlpha

  Pull requests which are for modifications to PhyslibAlpha.

• please-adopt

  please-adopt

  Inactive PR (would be valuable to adopt)

• ready-to-merge

  ready-to-merge

  This PR is approved and will be merged shortly

• requirements-needed

  requirements-needed

  Used for API issues where the requirements of the API need to be specified

• reviewer-approved

  reviewer-approved

• RFC

  RFC

  Request for comment

• t-classical-field-theory

  t-classical-field-theory

• t-classical-mechanics

  t-classical-mechanics

  Classical mechanics

• t-condensed-matter

  t-condensed-matter

  Condensed matter

• t-cosmology

  t-cosmology

  Cosmology

• t-electromagnetism

  t-electromagnetism

  Electromagnetism

• t-fluid-dynamics

  t-fluid-dynamics

• t-for-mathlib-qi

  t-for-mathlib-qi