Commit c7867eb0 authored by Manuel Günther's avatar Manuel Günther
Browse files

Merge branch '6-random-failures' into 'master'

Made error messages more precise (doesn't solve the issue, though)

See merge request !8
parents d9f6aafd bba2ea2b
Pipeline #6887 passed with stages
in 13 minutes and 24 seconds