Merge branch '20-extend-documentation-for-subtree-update-and-incremental-eval' into 'dev'
Passed
René Schöne
created pipeline for commit
1cdde588
, finished
For dev
9 minutes 29 seconds, queued for 6 seconds