-
Notifications
You must be signed in to change notification settings - Fork 438
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
Enforce copyright check in CI #1965
Conversation
With the initial commit, the Copyright CI fails, as expected, because all files do not have a proper copyright. This is an opportunity to check the logs in the failed CI. After PR #1963 is merged, the list of issues should shrink, and list only remaining items. |
Codecov Report
Additional details and impacted files@@ Coverage Diff @@
## main #1965 +/- ##
=======================================
Coverage 87.12% 87.12%
=======================================
Files 165 165
Lines 4596 4596
=======================================
Hits 4004 4004
Misses 592 592
|
Ready for review. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM. nicely done, thanks.
Enforce copyright check in CI.
Changes
Added:
tools/check_copyright.sh
script,.copyright-ignored
to allow for copyright exceptions.Checklist:
CHANGELOG.md
updated for non-trivial changes