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 stdpp-coq8.6 #3513
fp-timing

00:01:50

passed stdpp-coq8.6.1 #3512
fp-timing

00:01:48

passed stdpp-coq8.7 #3511
fp-timing

00:01:54

 
  Opam
passed opam #3514

00:00:14