{"push_id":1190112128,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a89714b460b59cd4fa5209630a13b5cbd712f4a3","before":"9d1e2ce90d2a92d42b693450a071dc8368101003","commits":[{"sha":"a89714b460b59cd4fa5209630a13b5cbd712f4a3","author":{"name":"Traian Florin Șerbănuță","email":"0efc52f33f0ac75e5d9300dddde2d098183e60f6@gmail.com"},"message":"Adding -no-pedantic option to kcc (#215)\n\n* Replaced -pedantic-errors by -pedantic\r\n-Werror issues errors for pedantic errors, too\r\n\r\n* Fixed test output\r\n\r\n* Missed test output line\r\n\r\n* Added -no-pedantic option and test","distinct":true,"url":"https://api.github.com/repos/kframework/c-semantics/commits/a89714b460b59cd4fa5209630a13b5cbd712f4a3"}]}
{"actor":{"display_login":"rv-jenkins"}}