Skip to content
Snippets Groups Projects

Merge branch 'sabine_166-profiling-tools-have-been-integrated' into 'dev'

Passed
Sabine Schröder created pipeline for commit 3f66ea71
, finished
1 related merge request: !218 make profiling tools available on testing branch
4 jobs 2 minutes 10 seconds, queued for 6 seconds