3 Commits

Include renames

Author	SHA1	Message	Date
Julien Robert	3ad0ca5201	ci: fix lint script (#17080)	2023-07-20 17:03:00 +00:00
Julien Robert	3bbc3700b0	ci: speed up lint job (#17071)	2023-07-20 13:39:23 +00:00
Mark Rushakoff	3cef1a8941	ci: lint all modules even if one module fails (#15819)	2023-04-12 18:08:22 +00:00