Skip to content

chore: bump toolchain to v4.20.0#119

Merged
Vierkantor merged 1 commit intomainfrom
bump_to_v4.20.0
Jun 2, 2025
Merged

chore: bump toolchain to v4.20.0#119
Vierkantor merged 1 commit intomainfrom
bump_to_v4.20.0

Conversation

@Vierkantor
Copy link
Contributor

No description provided.

@Vierkantor Vierkantor merged commit 21e6a05 into main Jun 2, 2025
4 checks passed
@Vierkantor Vierkantor deleted the bump_to_v4.20.0 branch June 2, 2025 15:02
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