Open tydeu opened 1 week ago
Mathlib CI status (docs):
Just a minor comment about PR labelling: I think you might be overusing the "draft" status, or at least I don't think anything should ever be both a draft and will-merge-soon
, which have opposite implications for reviewing urgency!
I don't think anything should ever be both a draft and will-merge-soon,
@semorrison Definitely! That was just me forgetting to mark it ready for review. 🤦♂️
Switches the manifest format to use
major.minor.patch
semantic versions. Major version increments indicate breaking changes (e.g., new required fields and semantic changes to existing fields). Minor version increments (after0.x
) indicate backwards-compatible extensions (e.g., adding optional fields, removing fields). This change is backwards compatible. Lake will still successfully read old manifest with numeric versions. It will treat the numeric versionN
as semantic version0.N.0
. Lake will also accept manifest versions with-
suffixes (e.g.,x.y.z-foo
) and then ignore the suffix.This change also includes the general cleanup/refactoring of the manifest code and data structures that was part of #3174.