Skip to content

Conversation

@radu-matei
Copy link
Member

No description provided.

@karthik2804
Copy link
Contributor

@radu-matei It looks like the rust version in the runner needs to be bumped

@fibonacci1729 fibonacci1729 merged commit 87214a9 into main Nov 5, 2025
8 checks passed
@fibonacci1729 fibonacci1729 deleted the chore/bump-deps branch November 5, 2025 18:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants