Merge branch...
Passed
created pipeline for commit
a676fb76
, finished
2 related merge requests: !430 update recent developments, !413 update release branch
13 minutes 54 seconds, queued for 2 seconds