CI: prepare for generating and uploading docs

10 jobs for ci/coqdoc in 7 minutes and 45 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #7691
fp-timing
build-coq.8.6.1

00:02:14

passed #7690
fp-timing
build-coq.8.7.1

00:02:10

canceled #7686
fp-timing
build-coq.8.6.1

00:00:13

canceled #7685
fp-timing
build-coq.8.7.1

00:00:14

 
  Build More
passed #7694
fp-timing
build-coq.8.6.0

00:02:14

passed #7693
fp-timing
build-coq.8.7.0

00:02:12

passed #7692
fp-timing
build-coq.8.7.dev

00:05:29

canceled #7689
fp-timing
build-coq.8.6.0

canceled #7688
fp-timing
build-coq.8.7.0

canceled #7687
fp-timing
build-coq.8.7.dev