Commit 32707f07 authored by Theo Steininger's avatar Theo Steininger

Merge branch 'ci' into 'master'

Ci



See merge request !1
parents b8f6f2d9 a5263ffc
Pipeline #8816 passed with stage
in 9 minutes and 51 seconds