Merge branch 'dev/ruff' into 'master'
Passed
Bruno Guillon
created pipeline for commit
8171d132
, finished
For master
5 minutes 40 seconds, queued for 3 seconds