add boomerang

2 jobs for boomerang in 5 minutes and 17 seconds (queued for 19 seconds)
Status Job ID Name Coverage
  Build
passed #227409450
coq:8.8

00:03:47

passed #227409451
coq:8.9

00:05:13