no longer test on or support Coq 8.5

1 job for master in 4 minutes and 41 seconds (queued for 6 minutes and 18 seconds)
Status Job ID Name Coverage
  Test
passed #2396
coq
iris-coq8.6

00:04:41