{"push_id":623476154,"size":1,"distinct_size":1,"ref":"refs/heads/krun","head":"7cf23e3d4739d9f8e89e28c2571d5551544fa3d3","before":"675441507cd53c8938850843d510eaef6830f655","commits":[{"sha":"7cf23e3d4739d9f8e89e28c2571d5551544fa3d3","author":{"email":"3fa0b42457da2d7d7d6b1813429ab2d622906f28@gmail.com","name":"laurayuwen"},"message":"customElabHeating of For & Catch\nremove [macro] attribute for 'For (probably K bug here)\nsumArrayInFor.java runs!","distinct":true,"url":"https://api.github.com/repos/kframework/java-semantics/commits/7cf23e3d4739d9f8e89e28c2571d5551544fa3d3"}]}