update CI

2 jobs for master in 20 minutes and 4 seconds (queued for 16 minutes and 18 seconds)
Status Job ID Name Coverage
  Build
passed #10853
fp
build-coq.8.6.1

00:18:01

passed #10852
fp
build-coq.8.7.2

00:12:00