Merge branch 'master' of gitlab.science.ru.nl:clean-and-itasks/clean-platform

1 job for master in 1 minute and 50 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Test
passed #14682
test

00:01:50