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