Commit bf0ec0d1 authored by flo's avatar flo

Revert "Revert "improved CI script""

This reverts commit 1dce5be1
parent 1dce5be1
Pipeline #111670301 passed with stage
in 1 minute and 38 seconds