Skip to content

chore: release v3.13.2#2210

Merged
LesnyRumcajs merged 1 commit into
release/v3from
hubert/v3-release-3.13.2
Aug 27, 2025
Merged

chore: release v3.13.2#2210
LesnyRumcajs merged 1 commit into
release/v3from
hubert/v3-release-3.13.2

Conversation

@LesnyRumcajs
Copy link
Copy Markdown
Contributor

@github-project-automation github-project-automation Bot moved this to 📌 Triage in FilOz Aug 27, 2025
@LesnyRumcajs LesnyRumcajs requested a review from rvagg August 27, 2025 08:48
@github-project-automation github-project-automation Bot moved this from 📌 Triage to ✔️ Approved by reviewer in FilOz Aug 27, 2025
Comment thread Cargo.toml
Comment on lines -26 to -28
fvm = { path = "fvm", version = "~3.13.0", default-features = false }
fvm_shared = { path = "shared", version = "~3.13.0", default-features = false }
fvm_sdk = { path = "sdk", version = "~3.13.0" }
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

did we get these (and v2) wrong in the .1 releases?

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

To my understanding, the minor version is completely ignored with the tilde requirement. That is, ~3.13.0 is equivalent to ~3.13.42; perhaps we should just use ~3.13 so that the cargo set-version doesn't bother with it. What do you think?

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

yeah, I guess it depends on what ends up in the lock, but it does seem like we should just keep them in step

@LesnyRumcajs LesnyRumcajs merged commit 22ec0c2 into release/v3 Aug 27, 2025
9 checks passed
@github-project-automation github-project-automation Bot moved this from ✔️ Approved by reviewer to 🎉 Done in FilOz Aug 27, 2025
@LesnyRumcajs LesnyRumcajs deleted the hubert/v3-release-3.13.2 branch August 27, 2025 11:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: 🎉 Done

Development

Successfully merging this pull request may close these issues.

2 participants