Update CI tests
Warning
jurgenhaas
created pipeline for commit
65823698
, finished
1 related merge request: !17 Merging develop into main
1 minute 45 seconds, queued for 2 seconds