update CI and Makefile

2 jobs for master in 1 minute and 2 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
canceled #13513
fp
build-coq.8.6.1

00:01:02

canceled #13512
fp
build-coq.8.7.1

00:01:02