[ci] Use master branch from bob/bob.devtools

7 jobs for devtools in 28 minutes and 16 seconds (queued for 3 seconds)