Skip to content

chore: bump Rust version#56

Merged
rzhao271 merged 1 commit intomainfrom
rzhao271/bump-rust-88
Sep 13, 2025
Merged

chore: bump Rust version#56
rzhao271 merged 1 commit intomainfrom
rzhao271/bump-rust-88

Conversation

@rzhao271
Copy link
Contributor

@rzhao271 rzhao271 added this to the September 2025 milestone Sep 12, 2025
@rzhao271 rzhao271 self-assigned this Sep 12, 2025
@rzhao271 rzhao271 enabled auto-merge (squash) September 12, 2025 21:51
@rzhao271 rzhao271 merged commit 7ea8b7e into main Sep 13, 2025
17 checks passed
@rzhao271 rzhao271 deleted the rzhao271/bump-rust-88 branch September 13, 2025 00:25
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.

2 participants