Commit 4b1efbf5 authored by Bennet Bleßmann's avatar Bennet Bleßmann

Merge branch 'master-setup-ci' into 'master'

Split run_download_make CI job and adjust custom section title style to match build in sections

See merge request !16
parents 0024c529 95afccfd
Pipeline #1392 passed with stages
in 215 minutes and 24 seconds