{"push_id":858252857,"size":2,"distinct_size":0,"ref":"refs/heads/nightly","head":"fa7ca34cb22ede0fc3b0ffd531508f41d9ee6e4c","before":"54272fde01f5602e69c2f1d71ee4d177e989e5f4","commits":[{"sha":"d2b8d262425bbe6fdacaa24e3ba52fc8f74ef901","author":{"email":"69b056c009ada1042ba0c742f111d31e0745686f@illinois.edu","name":"yilongli"},"message":"iteration over synchronizedList must be synchronized externally","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/d2b8d262425bbe6fdacaa24e3ba52fc8f74ef901"},{"sha":"fa7ca34cb22ede0fc3b0ffd531508f41d9ee6e4c","author":{"email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com","name":"dwightguth"},"message":"Merge pull request #1821 from yilongli/fix-concurrent-modification-exception\n\niteration over synchronizedList must be synchronized externally","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/fa7ca34cb22ede0fc3b0ffd531508f41d9ee6e4c"}]}