[coord] enable setting a random seed for shuffling etc

5 jobs for master
Status Name Job ID Coverage
  Lint
failed Lint #1493416
docker

 
  Unittest
skipped Unittest27 #1493417
docker
skipped Unittest35 #1493418
docker
 
  Coverage
skipped Coverage #1493419
docker
 
  Deploy
skipped pages #1493420
docker
 
Name Stage Failure
failed
Lint Lint There has been a timeout failure or the job got stuck. Check your timeout limits or try again
No job log