{"push_id":2750190009,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"9e048c11f86a844f6b0505681e3b614132de3568","before":"46e2c153f1a60f99bcda45a0e97c00f993825f18","commits":[{"sha":"c50b250576f54698179607180365350fe96b1512","author":{"name":"Martino Luca","email":"aab0cd1275d09fa352abab123977547fedeb5f81@fb.com"},"message":"[Perf] Compute the degree of polynomials\n\nReviewed By: mbouaziz\n\nDifferential Revision: D8913700\n\nfbshipit-source-id: bbdb08001","distinct":true,"url":"https://api.github.com/repos/facebook/infer/commits/c50b250576f54698179607180365350fe96b1512"},{"sha":"9e048c11f86a844f6b0505681e3b614132de3568","author":{"name":"Martino Luca","email":"aab0cd1275d09fa352abab123977547fedeb5f81@fb.com"},"message":"[Perf] Emit cost polynomial and their degree as part of the report\n\nReviewed By: mbouaziz\n\nDifferential Revision: D9013777\n\nfbshipit-source-id: cff58cfa5","distinct":true,"url":"https://api.github.com/repos/facebook/infer/commits/9e048c11f86a844f6b0505681e3b614132de3568"}]}
{"actor":{"display_login":"facebook-github-bot"}}