Skip to content
Snippets Groups Projects

Move.

Passed
Robbert Krebbers created pipeline for commit 9236a721
, finished
Related merge request !428 to merge robbert/issue_161
merge request
2 jobs 7 minutes 0 seconds, queued for 9 seconds