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 specs comments #8759

Merged
merged 6 commits into from
Apr 13, 2021
Merged

Update specs comments #8759

merged 6 commits into from
Apr 13, 2021

Conversation

farazdagi
Copy link
Contributor

What type of PR is this?

Other / Cleanup

What does this PR do? Why is it needed?

  • The last update for specs comments (for phase0 specs).
  • Double checked that our code implements the specs (and only comments need to be updated).

Which issues(s) does this PR fix?

N/A

Other notes for review

@farazdagi farazdagi self-assigned this Apr 13, 2021
@farazdagi farazdagi requested a review from a team as a code owner April 13, 2021 14:40
@codecov
Copy link

codecov bot commented Apr 13, 2021

Codecov Report

Merging #8759 (03fb13b) into develop (59eb2e6) will increase coverage by 0.00%.
The diff coverage is n/a.

@@           Coverage Diff            @@
##           develop    #8759   +/-   ##
========================================
  Coverage    61.60%   61.61%           
========================================
  Files          509      509           
  Lines        34801    34801           
========================================
+ Hits         21438    21441    +3     
+ Misses       10192    10189    -3     
  Partials      3171     3171           

@prylabs-bulldozer prylabs-bulldozer bot merged commit 53ffc67 into develop Apr 13, 2021
@delete-merged-branch delete-merged-branch bot deleted the update-spec-comments branch April 13, 2021 22:26
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