Add CI config
Passed
jurgenhaas
created pipeline for commit
8a48a683
, finished
1 related merge request: !1 Merging develop into main
8 seconds, queued for 3 seconds