Skip to content
Snippets Groups Projects

Merge branch 'update-pipfiles' into 'develop'

Passed
Philipp S. Sommer created pipeline for commit 22d4d103
, finished
11 jobs 16 minutes 20 seconds, queued for 1 seconds