{"build_data":
          {"isabelle_id": "d10f0bbc7ea1",
           "afp_id": "be5942e2403a",
           "time": "Thu, 20 Apr 2017 09:04:18 GMT",
           "url": "https://ci.isabelle.systems/jenkins/job/afp-repo-afp/838/",
           "job": "afp-repo-afp"
          },
         "entries":
           []
        }