update CONTRIBUTING

4 jobs for master in 6 minutes and 55 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed build-coq.8.6.1 #4249
fp-timing

00:02:43

passed build-coq.8.7 #4248
fp-timing

00:06:28

 
  Deploy
passed opam #4250

00:00:13

passed reverse-deps #4251

00:00:13