{"build_data":
          {"isabelle_id": "32d4117ad6e8",
           "afp_id": "d8029bd41c4c",
           "time": "Tue, 25 Apr 2017 07:15:12 GMT",
           "url": "https://ci.isabelle.systems/jenkins/job/afp-repo-afp/857/",
           "job": "afp-repo-afp"
          },
         "entries":
           []
        }