don't rename index.html to indexpage.html in coqdocjs target

17 jobs for offset in 15 minutes and 13 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #61430
1.10.0-coq-8.10

00:13:55

passed #61431
1.10.0-coq-8.11

00:14:05

passed #61429
1.10.0-coq-8.9

00:13:41

passed #61427
1.9.0-coq-8.10

00:13:43

passed #61428
1.9.0-coq-8.11

00:13:48

passed #61426
1.9.0-coq-8.9

00:13:34

passed #61432
build-for-process

00:05:03

passed #61433
build-for-process-classic

00:09:41

passed #61436
coq-8.10

00:13:21

passed #61437
coq-dev

00:13:23

passed #61434
proof-length

00:01:30

passed #61435
spell-check

00:01:39

 
  Process
passed #61440
doc

00:00:45

passed #61441
doc-classic

00:01:11

passed #61442
proof-state

00:07:21

passed #61438
validate

00:02:00

passed #61439
validate-classic

00:02:50