{"push_id":1836121163,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"7f4599f4b8a9582873d7d8a5234b13e6c3075102","before":"9d232d4513d4fdc9c817fb1dccfb0fa0ffe68e4c","commits":[{"sha":"b72cf31932efdcc2429e2fdc76e948b4b1f46d83","author":{"name":"Cesar Rodriguez","email":"3ad4d6b067b7898166db013eb94f4bc67eae54a9@diffblue.com"},"message":"Updated doxyfile to a modern version\n\n- From version 1.5 to 1.8\n- Added lateral pannel\n- Clickable inheritance/collaboration diagrams","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/b72cf31932efdcc2429e2fdc76e948b4b1f46d83"},{"sha":"7f4599f4b8a9582873d7d8a5234b13e6c3075102","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"Merge pull request #1074 from cesaro/feature/update-doxyfile\n\nUpdated doxyfile to a modern version","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/7f4599f4b8a9582873d7d8a5234b13e6c3075102"}]}
{"actor":{"display_login":"kroening"}}