Full version of the "callback with lock" example

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

00:06:28

passed #12067
fp
build-coq.8.7.2

00:05:42