{"push_id":2905867288,"size":4,"distinct_size":4,"ref":"refs/heads/build/smt-engines","head":"99c70ad9175f3eb8e725615dd0c0852a5e680f63","before":"466d7ab798d565379b1bc0943286e608e3a429eb","commits":[{"sha":"3d4b4e4591133c521a97fb147a496c356d78fba1","author":{"name":"Nishant Rodrigues","email":"707556acf9c6f2033d36538ed41f22ee1c71b872@gmail.com"},"message":"build: formatting","distinct":true,"url":"https://api.github.com/repos/ehildenb/maude/commits/3d4b4e4591133c521a97fb147a496c356d78fba1"},{"sha":"9253aba83f94570b7088acaaec0488bf09d2f7c0","author":{"name":"Nishant Rodrigues","email":"707556acf9c6f2033d36538ed41f22ee1c71b872@gmail.com"},"message":"build: Pass `-s` to automake based makefiles\n\nThis will make, for example, test output easier to read.","distinct":true,"url":"https://api.github.com/repos/ehildenb/maude/commits/9253aba83f94570b7088acaaec0488bf09d2f7c0"},{"sha":"3b3a073918c86b9acdcbebf459ccbd2eeb4b26f3","author":{"name":"Nishant Rodrigues","email":"707556acf9c6f2033d36538ed41f22ee1c71b872@gmail.com"},"message":"build: Log progress\n\nThis is useful for searching with test output","distinct":true,"url":"https://api.github.com/repos/ehildenb/maude/commits/3b3a073918c86b9acdcbebf459ccbd2eeb4b26f3"},{"sha":"99c70ad9175f3eb8e725615dd0c0852a5e680f63","author":{"name":"Nishant Rodrigues","email":"707556acf9c6f2033d36538ed41f22ee1c71b872@gmail.com"},"message":"build test-smt: option to build only smt tests\n\nNote that this does not do a clean build","distinct":true,"url":"https://api.github.com/repos/ehildenb/maude/commits/99c70ad9175f3eb8e725615dd0c0852a5e680f63"}]}
{"actor":{"display_login":"ehildenb"}}