update Makefile

2 jobs for master in 14 minutes and 45 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Build
passed #22411
fp
build-coq.8.8.2

00:14:45

failed #22410
fp
build-coq.8.8.2

00:01:06