note that these triples do not match the paper

Status Job ID Name Coverage
  Build
canceled #6619
fp-timing
build-coq.8.6.1

canceled #6618
fp-timing
build-coq.8.7.0