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 build-coq.8.6.1 #12068
fp

00:06:28

passed build-coq.8.7.2 #12067
fp

00:05:42