-
Notifications
You must be signed in to change notification settings - Fork 27
Open
Labels
A-Build-SystemRelated to CI and GitHub ActionsRelated to CI and GitHub ActionsA-LinterRelated to the linter and custom lintsRelated to the linter and custom lintsC-DependenciesA change related to dependenciesA change related to dependenciesC-PerformanceC-UsabilityAn improvement that makes the API more pleasantAn improvement that makes the API more pleasantD-ModestA "normal" level of difficulty; suitable for simple features or challenging fixesA "normal" level of difficulty; suitable for simple features or challenging fixesS-Ready-for-ImplementationThis issue is ready for an implementation PR. Go for it!This issue is ready for an implementation PR. Go for it!
Description
Since we control the toolchain file and it doesn't look too complex, I wonder if we could accomplish the same without installing an additional tool. That could speed up the CI time.
On the other hand, we'd need to be careful to make it work on all platforms, so it probably makes sense to investigate this in a separate issue.
Originally posted by @TimJentzsch in #501 (comment). Also see my comment in #501 (comment):
I think this would be a good follow-up. We could probably use
grep
to capture the toolchain version with a few clever comments, like what Clippy does.
Metadata
Metadata
Assignees
Labels
A-Build-SystemRelated to CI and GitHub ActionsRelated to CI and GitHub ActionsA-LinterRelated to the linter and custom lintsRelated to the linter and custom lintsC-DependenciesA change related to dependenciesA change related to dependenciesC-PerformanceC-UsabilityAn improvement that makes the API more pleasantAn improvement that makes the API more pleasantD-ModestA "normal" level of difficulty; suitable for simple features or challenging fixesA "normal" level of difficulty; suitable for simple features or challenging fixesS-Ready-for-ImplementationThis issue is ready for an implementation PR. Go for it!This issue is ready for an implementation PR. Go for it!