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

Restore coverage to use latest rust nightly #3367

Closed
Tracked by #3413
conradoplg opened this issue Jan 18, 2022 · 1 comment · Fixed by #3450
Closed
Tracked by #3413

Restore coverage to use latest rust nightly #3367

conradoplg opened this issue Jan 18, 2022 · 1 comment · Fixed by #3450
Labels
C-enhancement Category: This is an improvement

Comments

@conradoplg
Copy link
Collaborator

conradoplg commented Jan 18, 2022 •
edited
Loading

Motivation

In #3366, in coverage.yml we pinned rust nightly in to a specific version to workaround a rust bug.

Since it was fixed in 2022-01-26, we should restore it back to nightly to always get the latest version.

Specifications

Designs

Related Work
@conradoplg conradoplg added C-enhancement Category: This is an improvement S-needs-triage Status: A bug report needs triage labels Jan 18, 2022
@conradoplg conradoplg mentioned this issue Jan 18, 2022
Merged
3 tasks
@mpguerra
Copy link
Contributor

Hey team! Please add your planning poker estimate with ZenHub @conradoplg @dconnolly @jvff @oxarbitrage @teor2345 @upbqdn

This was referenced Jan 25, 2022
Closed
Closed
dconnolly added a commit that referenced this issue Jan 31, 2022
@dconnolly
Restore coverage to use latest nightly
ea48011 
Fixes #3367
@dconnolly dconnolly mentioned this issue Jan 31, 2022
Merged
1 task
@mergify mergify bot closed this as completed in #3450 Feb 1, 2022
mergify bot added a commit that referenced this issue Feb 1, 2022
@dconnolly @mergify
Restore coverage to use latest nightly (#3450)
07f120a 
Fixes #3367

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
@mpguerra mpguerra removed the S-needs-triage Status: A bug report needs triage label Sep 28, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
C-enhancement Category: This is an improvement
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Restore coverage to use latest nightly ZcashFoundation/zebra
2 participants
@conradoplg @mpguerra