Merge branch 'hruskraj-ci/cd' into 'devel'
Passed
Rajmund Hruška
created pipeline for commit
5a9c2078
, finished
1 related merge request: !2 CI/CD
1 minute 23 seconds, queued for 0 seconds