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: do not use -Dwarnings rust flag on coverage #123

Merged
merged 1 commit into from
Mar 6, 2024
Merged

ci: do not use -Dwarnings rust flag on coverage #123

merged 1 commit into from
Mar 6, 2024

Commits on Mar 6, 2024

  1. ci: do not use -Dwarnings rust flag on coverage 

    The coverage job uses the nightly toolchain due to a dependency on a
nightly feature. Since all jobs uses the -Dwarnings rust flag however,
this meant this job can break every day as the nightly toolchain adds
new warnings.

To avoid this issue and have a more stable job, stop setting this flag
for all jobs, and only do it for jobs where it makes sense.
    @vthib
    vthib committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    868cfd0 View commit details
    Browse the repository at this point in the history