Commit de666159 authored by Björn Bartels's avatar Björn Bartels

Merge branch 'update-ci' into 'master'

upd CI cfg

See merge request !5
parents a143cf21 0b1bfcac