switch to new ocaml default compiler

12 jobs for master in 20 minutes and 3 seconds
Status Job ID Name Coverage
  Build
passed #46737
fp
build-coq.8.10.0

00:16:19

passed #46736
fp-timing
build-coq.8.10.1

00:12:09

passed #46740
fp
build-coq.8.8.2

00:15:23

passed #46739
fp
build-coq.8.9.0

00:16:49

passed #46738
fp
build-coq.8.9.1

00:16:27

passed #46735
fp
build-coq.dev

00:19:59

canceled #46724
fp
build-coq.8.10.0

00:03:38

canceled #46723
fp-timing
build-coq.8.10.1

00:03:33

canceled #46727
fp
build-coq.8.8.2

00:00:38

canceled #46726
fp
build-coq.8.9.0

00:03:38

canceled #46725
fp
build-coq.8.9.1

00:03:38

canceled #46722
fp
build-coq.dev

00:03:38