Sébastiaan 817455360e
ci: combine header checks into workflow with PR comment (#1257)
* Combine all headers checks into workflow with steps that end with a PR comment

* Test

* Change name because it is more than headers
2025-01-06 07:54:38 +01:00
..
2022-09-16 23:10:39 -04:00
2024-11-07 14:54:02 +01:00
2024-11-19 10:50:15 +01:00