Commit 1dce5be1 authored by flo's avatar flo

Revert "improved CI script"

This reverts commit 38ae212c
parent 6ac9af59
Pipeline #111670192 passed with stage
in 1 minute and 45 seconds