Commit ebda87a9 authored by Marek Chrastina's avatar Marek Chrastina

Merge branch 'dev' into 'master'

Update CI

See merge request !275
parents 00362be3 c8586e53
Pipeline #11226 passed with stages
in 23 minutes and 58 seconds