Get rid of `Automatic Coercions Import`, it is deprecated.

4 jobs for master in 3 minutes and 57 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #3513
fp-timing
stdpp-coq8.6

00:01:50

passed #3512
fp-timing
stdpp-coq8.6.1

00:01:48

passed #3511
fp-timing
stdpp-coq8.7

00:01:54

 
  Opam
passed #3514
opam

00:00:14