Extend CI check for correct file headers to JS files. #3269
Labels
I: No breaking change
Previously written code will work as before, no one should note anything changing (aside the fix)
S: Normal
Handle this with default priority
stale
Automatic marker for inactivity, please have another look here
T: Maintenance
Work to keep up the quality of the code and documentation.
Describe the bug
The check_copyright_headers.py will notify if code files are missing the usual header. This currently does not include
*.js
files used in the documentation.To Reproduce
CI passes, even though
doc/htmldoc/static/js/filter_models.js
is missing a header.Expected behavior
Same as for Python and C++ files also the JavaScript and CSS components should have a proper header.
The text was updated successfully, but these errors were encountered: