{"push_id":938198390,"size":1,"distinct_size":1,"ref":"refs/heads/em/check-configuration-cells","head":"8e9e03c186954a42402ce7ed93fd6a06efa751c3","before":"b5484bc4ae25e87a2a7e09c4aafb7a48ee2037a4","commits":[{"sha":"8e9e03c186954a42402ce7ed93fd6a06efa751c3","author":{"email":"59d1cd2ce867e8758eabcb5bed917514e2371d2d@gmail.com","name":"Daejun Park"},"message":"[em] add tests","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/8e9e03c186954a42402ce7ed93fd6a06efa751c3"}]}