Skip to content
Snippets Groups Projects

Fix dolphin integration

Passed
georg created pipeline for commit 8bea9891
, finished
1 related merge request: !89 Fix Dolphin integration
1 minute 52 seconds, queued for 2 seconds