Skip to content
This repository has been archived by the owner on Feb 28, 2023. It is now read-only.

convenience: pull server side toolchains #54

Open
drahnr opened this issue Apr 29, 2021 · 0 comments
Open

convenience: pull server side toolchains #54

drahnr opened this issue Apr 29, 2021 · 0 comments
Labels
enhancement New feature or request future good first issue Good for newcomers

Comments

@drahnr
Copy link
Contributor

drahnr commented Apr 29, 2021

We should provide a convenient way to pull in a rustup-like fashion, the remotely vetted toolchains.

Ref #53
@drahnr drahnr added enhancement New feature or request future good first issue Good for newcomers labels Apr 29, 2021
@Vovke Vovke added migration and removed migration labels Mar 22, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
enhancement New feature or request future good first issue Good for newcomers
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@drahnr @Vovke