ssreflect 1.6.4

3 jobs from master in 19 minutes 38 seconds (queued for 39 minutes 15 seconds)
Status Job ID Name Coverage
  Build
passed #5180
fp-timing
build-coq.8.6.1

13:28

passed #5179
fp-timing
build-coq.8.7.0

06:06

 
  Deploy
passed #5181
opam

00:14