Count lines after make

3 jobs for master in 5 minutes and 33 seconds
Status Job ID Name Coverage
  Build
passed #93265
au
coq:8.8

00:02:51

passed #93266
au
coq:8.9

00:02:50

passed #93267
au
coq:dev

00:02:42