Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: better toolchain version select #58

Merged
merged 1 commit into from
May 23, 2024
Merged

feat: better toolchain version select #58

merged 1 commit into from
May 23, 2024

Conversation

ffenix113
Copy link
Owner

The app will try to use highest patch version of requested version, or default if no specific one is requested.

The app will try to use highest patch version of requested version,
or default if no specific one is requested.
@ffenix113 ffenix113 merged commit ff11557 into develop May 23, 2024
1 check passed
@ffenix113 ffenix113 deleted the improvements branch May 23, 2024 06:47
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