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

Update toolchain #871

Open
wants to merge 1 commit into
base: dev
Choose a base branch
from
Open

Update toolchain #871

wants to merge 1 commit into from

Conversation

shaharsamocha7
Copy link
Collaborator

Update toolchain to nightly-2024-11-06

@reviewable-StarkWare
Copy link

This change is Reviewable

Copy link
Collaborator Author

This stack of pull requests is managed by Graphite. Learn more about stacking.

Join @shaharsamocha7 and the rest of your teammates on Graphite Graphite

@codecov-commenter
Copy link

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 91.90%. Comparing base (8c8b744) to head (eead1b3).

Additional details and impacted files
@@           Coverage Diff           @@
##              dev     #871   +/-   ##
=======================================
  Coverage   91.90%   91.90%           
=======================================
  Files          92       92           
  Lines       12604    12604           
  Branches    12604    12604           
=======================================
  Hits        11584    11584           
  Misses        910      910           
  Partials      110      110           

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

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