Skip to content

Conversation

@adil192
Copy link
Member

@adil192 adil192 commented Oct 18, 2025

This PR uses a pinned version of Rust instead of just using the latest stable. This helps make builds more reproducible.

TODO:

@adil192 adil192 self-assigned this Oct 18, 2025
@adil192 adil192 added dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code labels Oct 18, 2025
@codecov

This comment was marked as off-topic.

@adil192 adil192 force-pushed the ci/pin-rust-version branch from dfdedf0 to ae2947f Compare October 19, 2025 18:33
@adil192 adil192 marked this pull request as ready for review October 20, 2025 22:48
@adil192 adil192 merged commit a2a529f into main Oct 20, 2025
3 checks passed
@adil192 adil192 deleted the ci/pin-rust-version branch October 20, 2025 22:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants