Merge branch 'erodrigu-add-mypy' into 'master'
For master
7 jobs
4 minutes 22 seconds, queued for 1 seconds
GitLab service scheduled maintenance on Friday, March 21st 2025 as of 08h00 Geneva time for an estimated period of 1 hour. Further information under OTG0154918.