say what C does

6 jobs for master in 13 minutes and 41 seconds
Status Job ID Name Coverage
  Build
passed #34101
fp
build-coq.8.10.dev

00:12:29

passed #34105
fp
build-coq.8.7.2

00:05:29

passed #34104
fp
build-coq.8.8.2

00:06:23

passed #34103
fp-timing
build-coq.8.9.0

00:05:37

passed #34102
fp
build-coq.8.9.1

00:06:56

passed #34100
fp
build-coq.dev

00:13:39