Add some options to r2d2 pool

3 jobs for master in 8 minutes and 3 seconds (queued for 1 second)
Status Job ID Name Coverage
  Lint
passed #1051
lint

00:07:26

 
  Build
passed #1053
build

00:00:37

passed #1052
build

00:09:36