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

chore: increase rdev memory #372

Merged
merged 1 commit into from
Aug 3, 2022
Merged

Conversation

ebezzi
Copy link
Member

@ebezzi ebezzi commented Aug 3, 2022

Reviewers

Functional:

Readability:


Changes

  • add
  • remove
  • modify

@codecov
Copy link

codecov bot commented Aug 3, 2022

Codecov Report

Merging #372 (57909af) into main (c93f3b3) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main     #372   +/-   ##
=======================================
  Coverage   76.27%   76.27%           
=======================================
  Files          90       90           
  Lines        6710     6710           
=======================================
  Hits         5118     5118           
  Misses       1592     1592           
Flag Coverage Δ
frontend 76.27% <ø> (ø)
javascript 76.27% <ø> (ø)
smokeTest ?
unitTest 76.27% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

📣 Codecov can now indicate which changes are the most critical in Pull Requests. Learn more

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