Show the proven property immediately in the README

3 jobs for master in 5 minutes and 35 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #93324
au
coq:8.8

00:02:53

passed #93325
au
coq:8.9

00:02:48

passed #93326
au
coq:dev

00:02:43