CI: test against coq 8.6.1

1 job for ci/ralf/8.6.1 in 25 minutes and 11 seconds (queued for 5 minutes and 37 seconds)
Status Name Job ID Coverage
  Test
passed gps-coq8.6.1 #3136
fp-timing

00:25:11