Commit 96eace1e by Michal Vaner

Merge branch 'gitlab-ci'

parents 08b6a617 5c4dfe0c
Pipeline #15789 passed with stages
in 8 minutes 28 seconds