Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add header workflow integration 2 (#5109)
* Add a header check to the CI Fix #4980 The `add_header` script needs to be run after an edit to determine the status of the header and, if necessary, change the header. This commit adds the check for the header to the CI/CD. This enforces the usage of the `add_header` script and ensures a healthy code base. * Change the output of the `add_header` script Fix #4980 The `add_header` sript prints the correct header for a file if the `--in-place` argument is not provided. This is a good way to see changes, however due to this the output of the CI/CD is too verbose. This commit disables the output of the output of the correct header, if the `--check` option is provided. It also displays the number of files checked.
- Loading branch information