Commit b8d6f9dd authored by Lubomir Bulej's avatar Lubomir Bulej

Merge branch 'ci' into 'devel'

CI fix

See merge request !4
parents 0158dba9 062727ab
Pipeline #4421 failed with stages
in 12 seconds