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 2022-01-14 nightly to workaround coverage issue #3366

Merged
merged 1 commit into from
Jan 18, 2022
Merged

Conversation

conradoplg
Copy link
Collaborator

rustc broke cargo-llvm-cov which we use for coverage, which is making our CI fail: taiki-e/cargo-llvm-cov#128

The workaround is to pin to a older version of the nightly rust.

Motivation

Specifications

Designs

Solution

Review

Reviewer Checklist

  • Code implements Specs and Designs
  • Tests for Expected Behaviour
  • Tests for Errors

Follow Up Work

@dconnolly
Copy link
Contributor

Can make an issue to go back to nightly when this is fixed? Or maybe beta, if beta supports the Coverage requirements

@conradoplg
Copy link
Collaborator Author

Can make an issue to go back to nightly when this is fixed? Or maybe beta, if beta supports the Coverage requirements

Yep! Done in #3367

Copy link
Contributor

@dconnolly dconnolly left a comment

Choose a reason for hiding this comment

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

🙏🙏🙏

@dconnolly dconnolly enabled auto-merge (squash) January 18, 2022 18:37
@codecov
Copy link

codecov bot commented Jan 18, 2022

Codecov Report

Merging #3366 (86ac1d9) into main (6c787dd) will increase coverage by 0.04%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##             main    #3366      +/-   ##
==========================================
+ Coverage   77.83%   77.88%   +0.04%     
==========================================
  Files         266      266              
  Lines       31449    31449              
==========================================
+ Hits        24478    24493      +15     
+ Misses       6971     6956      -15     

@dconnolly dconnolly merged commit 9b9e499 into main Jan 18, 2022
@dconnolly dconnolly deleted the fix-coverage branch January 18, 2022 19:31
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.

2 participants