You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
From the User's Guide, "The repository as a whole has a single version number. Depending on the eventual pace of growth and styles of usage, we may begin to version significant components separately." The ambitions of this issue:
automate management of version numbers, having at most one location in the repository in which the version is manually declared;
support generation of version annotation before releases, e.g., including Git commit hashes;
decide whether to version parts of the repository separately, e.g., particular benchmarks vs. common infrastructure like the fmrb Python package.
The text was updated successfully, but these errors were encountered:
From the User's Guide, "The repository as a whole has a single version number. Depending on the eventual pace of growth and styles of usage, we may begin to version significant components separately." The ambitions of this issue:
The text was updated successfully, but these errors were encountered: