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

[ci] Pass dev and CI --cfg when rolling toolchain #973

Merged
merged 1 commit into from
Feb 29, 2024
Merged

[ci] Pass dev and CI --cfg when rolling toolchain #973

merged 1 commit into from
Feb 29, 2024

Commits on Feb 29, 2024

  1. [ci] Pass dev and CI --cfg when rolling toolchain 

    We should have done this as part of #960 originally; without it, our
rollers produce .stderr files which are rejected by CI.
    @joshlf
    joshlf committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    cc66a8a View commit details
    Browse the repository at this point in the history