{"build_data":
          {"isabelle_id": "006a274cdbc2",
           "afp_id": "948235fd1719",
           "time": "Sun, 23 Apr 2017 12:23:06 GMT",
           "url": "https://ci.isabelle.systems/jenkins/job/isabelle-repo-afp/854/",
           "job": "isabelle-repo-afp"
          },
         "entries":
           []
        }