annotating types

2 jobs for master in 41 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build Deps
passed #11493
build-helper

00:00:19

 
  Build
passed #11494
build-dev

00:00:21