Count lines after make

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

00:02:51

passed coq:8.9 #93266
au

00:02:50

passed coq:dev #93267
au

00:02:42