README: Examples -> Case Studies

5 jobs for master
Status Job ID Name Coverage
  Build
canceled #6621
fp-timing
build-coq.8.6.1

canceled #6620
fp-timing
build-coq.8.7.0

 
  Deploy
canceled #6622
opam

canceled #6623
reverse-deps

 
  Build More
canceled #6624
fp-timing
build-coq.8.7.dev