* Fix permission in validate-filenames pipeline * Run Github Actions for script validation on pull_request_target with right permissions
* Combine all headers checks into workflow with steps that end with a PR comment * Test * Change name because it is more than headers