typo

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

00:10:12

passed build-coq.8.7.0 #6532
fp-timing

00:09:47

canceled build-coq.8.6.1 #6531
fp-timing

00:04:10

passed build-coq.8.6.1 #6530
fp-timing

00:10:10

canceled build-coq.8.6.1 #6522
fp-timing

00:26:30

canceled build-coq.8.6.1 #6521
fp-timing

00:01:22

canceled build-coq.8.6.1 #6519
fp-timing

00:07:08

canceled build-coq.8.6.1 #6518
fp-timing

00:03:10

canceled build-coq.8.6.1 #6513
fp-timing

01:04:35

failed build-coq.8.7.0 #6512
fp-timing

01:22:03

 
  Deploy
passed opam #6514

00:00:15

passed reverse-deps #6515

00:00:14

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

00:10:25