Skip to content
This repository has been archived by the owner on Jul 15, 2024. It is now read-only.

Describe the CI Rust toolchain strategy in the workflow file. #113

Merged
merged 1 commit into from
Jul 8, 2023

Conversation

xStrom
Copy link
Member

@xStrom xStrom commented Jul 7, 2023

As discussed back in March (#76 + office hours) we are pinning to an explicit Rust toolchain version that we manually update.

This PR makes that workflow easier by making it a single variable and also adds a comment so that anyone looking to modify the CI workflow file knows what's the strategy.

This PR also adds the merge queue trigger to then later enable merge queues, which is also part of the strategy.

Copy link

@jaredoconnell jaredoconnell left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This will definitely prevent problems! And the comments are useful.

@xStrom xStrom merged commit 3983bd2 into linebender:main Jul 8, 2023
10 checks passed
@xStrom xStrom deleted the mergequeue branch July 8, 2023 03:18
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants