Merge branch '79-upgrade-pylint-job' into 'dev'
Passed
Hock, Martin
created pipeline for commit
4e8357a7
, finished
1 related merge request: !69 Merge changes to main
3 minutes 10 seconds, queued for 0 seconds