Commit 4311be53 authored by Sebastian Müller's avatar Sebastian Müller 🐈
Browse files

Merge branch 'ci_intel18_fix' into 'develop'

CI: Minor fixes

See merge request !45
parents e30ab5eb af6d0362
Pipeline #61532 passed with stages
in 13 minutes and 46 seconds