-
Notifications
You must be signed in to change notification settings - Fork 99
No labels!
There aren’t any labels for this repository quite yet.
20 labels
awaiting-review
awaiting-review
This PR is ready for review; the author thinks it is ready to be merged.
depends on core changes
depends on core changes
This PR need only be reviewed after changes land in Lean core.
depends on new compiler
depends on new compiler
This issue / PR will only become useful after the new compiler is activated.
merge-conflict
merge-conflict
This PR has merge conflicts with the `main` branch which must be resolved by the author.
merged-into-nightly-testing
merged-into-nightly-testing
This has been merged into `nightly-testing`, and will join `main` when we update the toolchain.
v4.6.0
v4.6.0
This PR needs to wait until we move to `v4.6.0`. It will be merged to `nightly-testing` first.
v4.7.0
v4.7.0
This PR targets the bump/v4.7.0 branch. (It may be merged to `nightly-testing` in the meantime.)