update Makefile

3 jobs for master in 22 minutes and 37 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #75285
fp
build-coq.8.10.2

00:03:36

passed #75284
fp-timing
build-coq.8.11.2

00:10:22

passed #75283
fp
build-coq.8.12.dev

00:12:14