fix linting job

This commit is contained in:
Bertrand Lanson 2023-04-26 23:20:33 +02:00
parent d7a6deda07
commit 4f72f9d0d5