Merge branch 'develop' into release_v0.9.0
Passed
created pipeline for commit
a19c4fe6
, finished
1 related merge request: !89 Resolve "release branch / CI on gpu"
6 minutes 18 seconds, queued for 4 seconds