Fix doc-build (CI)

7 jobs for master in 5 minutes and 9 seconds (queued for 7 seconds)
Status Job ID Name Coverage
  Test
passed #238354571
ocaml:4030

00:02:57

passed #238354572
ocaml:4042

00:02:59

passed #238354573
ocaml:4050

00:03:14

passed #238354574
ocaml:4060

00:03:46

passed #238354575
ocaml:4070

00:04:00

passed #238354576
pages

00:04:58

 
  Deploy
passed pages:deploy

00:00:01