update Makefile

8 jobs for master in 23 minutes and 58 seconds (queued for 7 seconds)
Status Name Job ID Coverage
  Build
passed build-coq.8.7.0 #22405
fp

00:02:53

passed build-coq.8.7.1 #22404
fp

00:02:54

passed build-coq.8.7.2 #22403
fp-timing

00:02:41

passed build-coq.8.8.0 #22402
fp-timing

00:02:45

passed build-coq.8.8.1 #22401
fp

00:02:59

passed build-coq.8.8.2 #22400
fp

00:02:59

passed build-coq.8.9.dev #22399
fp

00:04:03

passed build-coq.dev #22398
fp

00:15:32