{"push_id":2498699730,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"525a4d38c8ddf0064bbb3eea1fede4fe7868718f","before":"aa5aa63086e88e08275ed930e5a3d2486be7c1eb","commits":[{"sha":"525a4d38c8ddf0064bbb3eea1fede4fe7868718f","author":{"name":"Chris Hathhorn","email":"e62c903597e50268a98149e60bff0efb406d9bd4@gmail.com"},"message":"Round-robin style thread scheduling. (#817)\n\n* Round-robin style thread scheduling.\r\n\r\n* -fno-native-compilation\r\n\r\n* Slice to 5000","distinct":true,"url":"https://api.github.com/repos/kframework/k5/commits/525a4d38c8ddf0064bbb3eea1fede4fe7868718f"}]}
{"actor":{"display_login":"rv-jenkins"}}