convert Naming to markdown

5 jobs for master in 22 minutes and 50 seconds (queued for 1 minute and 3 seconds)
Status Job ID Name Coverage
  Build
passed #13553
fp
build-coq.8.7.0

00:09:47

passed #13552
fp
build-coq.8.7.1

00:04:31

passed #13551
fp-timing
build-coq.8.7.2

00:03:39

passed #13550
fp
build-coq.8.8.0

00:07:28

passed #13549
fp
build-coq.dev

00:11:12