Skip to content

chore: Fix typo on #16 - #17

Merged
acmepjz merged 1 commit into
acmepjz:mainfrom
ejgallego:fix_typo_toolchain
Feb 21, 2026
Merged

chore: Fix typo on #16#17
acmepjz merged 1 commit into
acmepjz:mainfrom
ejgallego:fix_typo_toolchain

Conversation

@ejgallego

Copy link
Copy Markdown
Contributor

Silly typo, sorry for that.

elan doesn't seem to care, this is why I didn't see it on my testing.

@acmepjz

acmepjz commented Feb 21, 2026

Copy link
Copy Markdown
Owner

Thank you. Seems that the v is missing for a while. I've thought that it is OK for the system to recognize it...

@acmepjz
acmepjz merged commit 6a3fb24 into acmepjz:main Feb 21, 2026
8 checks passed
@ejgallego
ejgallego deleted the fix_typo_toolchain branch February 21, 2026 17:40
@ejgallego

Copy link
Copy Markdown
Contributor Author

Indeed it seems that elan normalizes the toolchain version internall, so 4.28 is interpreted as v4.28, but this difference seems to confuse other tools like lake. The "official" way is to use v4.28 etc...

Thanks for the help!

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