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(makefile): comment for install-global to clarify linux support only #3340

Merged

Conversation

mastergaurang94
Copy link
Contributor

@mastergaurang94 mastergaurang94 commented Apr 25, 2024

refs #3169 && #3197

Instead of make install, I was using make install-global because my path ordered the go/bin last. Took me a bit of time to clarify why the -t option wasn't working, so I had just removed it locally.. Anyway, figured I'd put this up

@github-actions github-actions bot added the external Issues created by non node team members label Apr 25, 2024
@codecov-commenter
Copy link

codecov-commenter commented Apr 25, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 44.66%. Comparing base (2469e7a) to head (baa05d0).
Report is 56 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff             @@
##             main    #3340      +/-   ##
==========================================
- Coverage   44.83%   44.66%   -0.18%     
==========================================
  Files         265      273       +8     
  Lines       14620    15255     +635     
==========================================
+ Hits         6555     6813     +258     
- Misses       7313     7659     +346     
- Partials      752      783      +31     

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

@ramin ramin added the kind:misc Attached to miscellaneous PRs label May 8, 2024
@Wondertan Wondertan merged commit c04bbd2 into celestiaorg:main May 8, 2024
27 of 28 checks passed
@mastergaurang94 mastergaurang94 deleted the gaurang.makefile-install branch May 8, 2024 15:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
external Issues created by non node team members kind:misc Attached to miscellaneous PRs
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants