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

ci: switch default rust to nightly for prover builds #139

Merged
merged 1 commit into from
Oct 3, 2023

Conversation

otani88
Copy link
Contributor

@otani88 otani88 commented Oct 2, 2023

Switch default rust target to nightly for prover builds.

@codecov
Copy link

codecov bot commented Oct 2, 2023

Codecov Report

All modified lines are covered by tests ✅

Comparison is base (7dfbc5e) 31.58% compared to head (2bc3c30) 31.58%.

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #139      +/-   ##
==========================================
- Coverage   31.58%   31.58%   -0.01%     
==========================================
  Files         478      478              
  Lines       25463    25463              
==========================================
- Hits         8043     8042       -1     
- Misses      17420    17421       +1     

see 1 file with indirect coverage changes

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@otani88 otani88 force-pushed the use_nighlty_rust branch 2 times, most recently from 3386da6 to cdfd77c Compare October 3, 2023 15:19
@otani88 otani88 marked this pull request as ready for review October 3, 2023 15:24
@otani88 otani88 requested review from a team as code owners October 3, 2023 15:24
@otani88 otani88 enabled auto-merge October 3, 2023 15:26
@otani88 otani88 added this pull request to the merge queue Oct 3, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Oct 3, 2023
@hatemosphere hatemosphere added this pull request to the merge queue Oct 3, 2023
Merged via the queue into main with commit aa60ecd Oct 3, 2023
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.

3 participants