Skip to content

chore: bump toolchain to v4.20.0-rc1#117

Merged
kim-em merged 1 commit intomainfrom
bump_to_v4.20.0-rc1
May 1, 2025
Merged

chore: bump toolchain to v4.20.0-rc1#117
kim-em merged 1 commit intomainfrom
bump_to_v4.20.0-rc1

Conversation

@kim-em
Copy link
Contributor

@kim-em kim-em commented May 1, 2025

No description provided.

@kim-em kim-em merged commit c2fc3e2 into main May 1, 2025
4 checks passed
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.

1 participant