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

Enable linting for crit #83

Merged
merged 2 commits into from
Aug 12, 2022
Merged

Conversation

snprajwal
Copy link
Member

The magicgen.go script has been reworked to deterministically generate magic.go every time. This allows us to enable golangci-lint for crit.

@codecov-commenter
Copy link

codecov-commenter commented Aug 11, 2022

Codecov Report

Merging #83 (896a0b3) into master (b7262e1) will not change coverage.
The diff coverage is n/a.

❗ Current head 896a0b3 differs from pull request most recent head a76d73f. Consider uploading reports for the commit a76d73f to get more accurate results

@@           Coverage Diff           @@
##           master      #83   +/-   ##
=======================================
  Coverage   51.38%   51.38%           
=======================================
  Files           2        2           
  Lines         288      288           
=======================================
  Hits          148      148           
  Misses        105      105           
  Partials       35       35           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

Makefile Show resolved Hide resolved
As Go maps are unordered, the generated file would vary every time.
This is now fixed by sorting the magic names before generation.

Signed-off-by: Prajwal S N <prajwalnadig21@gmail.com>
Signed-off-by: Prajwal S N <prajwalnadig21@gmail.com>
Copy link
Member

@rst0git rst0git left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@rst0git rst0git merged commit 948d84a into checkpoint-restore:master Aug 12, 2022
@snprajwal snprajwal deleted the crit-lint branch August 12, 2022 09:05
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