Skip to content
Snippets Groups Projects

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