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.

Sign up for GitHub

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

Jump to bottom

Move toolchain config to database #2230

Closed
Nemo157 opened this issue Sep 22, 2023 · 0 comments
Closed

Move toolchain config to database #2230

Nemo157 opened this issue Sep 22, 2023 · 0 comments
Labels
A-builds Area: Building the documentation for a crate E-easy Effort: Should be easy to implement and would make a good first PR E-medium Effort: This requires a fair amount of work

Comments

@Nemo157
Copy link
Member

Nemo157 commented Sep 22, 2023

When pinning the toolchain back for #2228 I noticed that we're still configuring it through the environment variables. To be able to set it more easily with distributed builders it would be good to move this to the database so we can dynamically update it without having to restart everything.
@syphar syphar added E-easy Effort: Should be easy to implement and would make a good first PR A-builds Area: Building the documentation for a crate E-medium Effort: This requires a fair amount of work labels Oct 4, 2023
@syphar syphar mentioned this issue Oct 4, 2023
Merged
@syphar syphar closed this as completed Oct 24, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-builds Area: Building the documentation for a crate E-easy Effort: Should be easy to implement and would make a good first PR E-medium Effort: This requires a fair amount of work
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@Nemo157 @syphar