typo

13 jobs for master in 30 minutes and 42 seconds
Status Job ID Name Coverage
  Build
passed #6534
fp-timing
build-coq.8.6.1

00:10:12

passed #6532
fp-timing
build-coq.8.7.0

00:09:47

canceled #6513
fp-timing
build-coq.8.6.1

01:04:35

canceled #6531
fp-timing
build-coq.8.6.1

00:04:10

canceled #6522
fp-timing
build-coq.8.6.1

00:26:30

passed #6530
fp-timing
build-coq.8.6.1

00:10:10

canceled #6521
fp-timing
build-coq.8.6.1

00:01:22

canceled #6519
fp-timing
build-coq.8.6.1

00:07:08

canceled #6518
fp-timing
build-coq.8.6.1

00:03:10

failed #6512
fp-timing
build-coq.8.7.0

01:22:03

 
  Deploy
passed #6514
opam

00:00:15

passed #6515
reverse-deps

00:00:14

 
  Build More
passed #6516
fp-timing
build-coq.8.7.dev

00:10:25