no need for git here

3 jobs for master in 2 minutes and 27 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #23766
fp
build-coq.8.6.1

00:02:23

passed #23765
fp
build-coq.8.7.2

00:02:08

passed #23764
fp
build-coq.8.8.2

00:02:27