ssreflect 1.6.4

2 jobs from master in 18 minutes and 32 seconds (queued for 22 minutes and 19 seconds)
Status Job ID Name Coverage
  Build
passed #5176
fp-timing
build-coq.8.6.1

00:16:17

passed #5175
fp-timing
build-coq.8.7.0

00:13:37