Skip to content

CLI v2.13.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 29 Apr 07:46
· 280 commits to main since this release
cli-v2.13.0
997e811
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
  • Fix mops update and mops outdated jumping across major versions (or pre-1.0 minor versions) — they are now caret-bound by default, matching cargo update. For example, core = "2.0.0" now updates within 2.x.y instead of jumping to a future 3.0.0. Use --major to opt into cross-major updates.

SHA256: 5725b73044a54e47c055bd0cf28fda2f4a8a4fa0cf70a5b5aa891c93f35f04c0

Verify build:

cd cli
docker build . --build-arg COMMIT_HASH=997e811b752cc3d920165136f9597222b9b112d4 --build-arg MOPS_VERSION=2.13.0 -t mops
docker run --rm --env SHASUM=5725b73044a54e47c055bd0cf28fda2f4a8a4fa0cf70a5b5aa891c93f35f04c0 mops
Assets 3
Loading