test against released Coq 8.7; update CI

1 job for master in 1 minute and 44 seconds (queued for 2 minutes and 45 seconds)
Status Job ID Name Coverage
  Build
passed #4791
fp-timing
build-iris.dev

00:01:44