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

Move cpplint check to script #880

Merged
merged 1 commit into from
Dec 23, 2021
Merged

Move cpplint check to script #880

merged 1 commit into from
Dec 23, 2021

Conversation

pudelkoM
Copy link
Member

Makes it easier to run cpplint locally. No need to copy the exact invocation out of the CI config file.

Makes it easier to run locally. No need to copy the exact invocation out of the CI config file.
@codecov
Copy link

codecov bot commented Dec 22, 2021

Codecov Report

Merging #880 (daee284) into main (db07c65) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##             main     #880   +/-   ##
=======================================
  Coverage   78.81%   78.81%           
=======================================
  Files         336      336           
  Lines       30133    30133           
=======================================
  Hits        23750    23750           
  Misses       6383     6383           

@pudelkoM pudelkoM merged commit 8375bf2 into main Dec 23, 2021
@pudelkoM pudelkoM deleted the cpplint-script branch December 23, 2021 00:00
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.

None yet

1 participant