Merge branch 'ci' into 'main'
Passed
Droz Steeve (SDR)
created pipeline for commit
82a70b50
, finished
For main
1 minute 37 seconds, queued for 6 seconds