use old ssreflect for old Coq

3 jobs for master in 8 minutes and 35 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
failed #23188
fp
build-coq.8.6.1

00:03:43

passed #23187
fp
build-coq.8.7.2

00:02:14

passed #23186
fp
build-coq.8.8.2

00:02:37

 
Name Stage Failure
failed
build-coq.8.6.1 Build
# upgrade-criteria  -removed,-count[version-lag,solution],-new
# jobs 20
# repositories 2 (http), 1 (version-controlled) (default repo at c96fb78a)
# pinned 0
# current-switch ocaml-base-compiler.4.02.3
[prepare-opam] Processing pins
[prepare-opam] version-pinning coq to 8.6.1
coq is now pinned to version 8.6.1
ERROR: Job failed: exit code 1