Update CI tests
Failed
jurgenhaas
created pipeline for commit
5eb862e2
, finished
1 related merge request: !17 Merging develop into main
6 seconds, queued for 2 seconds