{"push_id":1767247607,"size":1,"distinct_size":1,"ref":"refs/heads/tigerIntegration","head":"62934210e619b38eb9d34c8036e308f8fbf07490","before":"6b6332dc35678ea2aed70f242f634245900107ab","commits":[{"sha":"62934210e619b38eb9d34c8036e308f8fbf07490","author":{"name":"hess","email":"9868e2c993787891bc4f0c6964d312429763db85@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Analysis now running but returning incomplete result probably because of false setting of the precision adjustment in one of the used CPAs\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/tigerIntegration@24768 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/62934210e619b38eb9d34c8036e308f8fbf07490"}]}
{"actor":{"display_login":"dbeyer-bot"}}