Merge branch 'ci' into 'main'
Passed
Thomas Schneider
created pipeline for commit
f857359e
, finished
For main
1 minute 39 seconds, queued for 11 seconds