Skip to content
GitLab
Commit a2c38bb9 authored by Philipp Schafft's avatar Philipp Schafft 🦁
Browse files

Merge branch 'update-ci' into devel 

Closes: !1
parents d4f973b5 ac4d2009
Pipeline #2997 passed with stages
in 6 minutes and 20 seconds