Commit be610572 authored by Tobias Winchen's avatar Tobias Winchen
Browse files

Merge branch 'ci' into 'devel'

Basic CI/CD setup

See merge request !1
parents 94761ee4 42b8b9d7
Pipeline #86824 passed with stages
in 5 minutes and 50 seconds