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

Use settings.toml with toolchains #831

Merged
merged 1 commit into from
Nov 8, 2023
Merged

Use settings.toml with toolchains #831

merged 1 commit into from
Nov 8, 2023

Conversation

cnpryer
Copy link
Owner

@cnpryer cnpryer commented Nov 7, 2023

No description provided.

@cnpryer cnpryer force-pushed the toolchain-settings branch 2 times, most recently from 01974f3 to a868cce Compare November 7, 2023 20:36
@cnpryer cnpryer changed the title Add settings.toml to toolchain system @cnpryer Use settings.toml with toolchains Nov 7, 2023
@cnpryer cnpryer changed the title @cnpryer Use settings.toml with toolchains Use settings.toml with toolchains Nov 7, 2023
@cnpryer cnpryer force-pushed the toolchain-settings branch 5 times, most recently from d0ad6e7 to 1b98fa9 Compare November 7, 2023 23:29
@cnpryer cnpryer force-pushed the toolchain-settings branch 2 times, most recently from 1d6964e to f5ebdb4 Compare November 8, 2023 02:01
@cnpryer cnpryer force-pushed the toolchain-settings branch from f5ebdb4 to c4ab8c3 Compare November 8, 2023 02:04
@cnpryer cnpryer marked this pull request as ready for review November 8, 2023 02:05
@cnpryer cnpryer merged commit ceb5215 into master Nov 8, 2023
4 of 7 checks passed
@cnpryer cnpryer deleted the toolchain-settings branch November 8, 2023 02:05
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