Fix MakeAffinely. Change names for instances: use known_make_xxx instead of go_make_xxx.

3 jobs for gen_proofmode in 21 minutes and 4 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
passed #9001
fp
build-coq.8.7.1

00:03:38

passed #9000
fp-timing
build-coq.8.7.2

00:03:30

passed #8999
fp
build-coq.dev

00:21:02