{"push_id":2185666611,"size":1,"distinct_size":1,"ref":"refs/heads/java-concurrency-support","head":"4623c260964559a520b88ff36402b8a0c6199f09","before":"4a49f9f8ad6b4611c0b07320cab545b8915c33d1","commits":[{"sha":"4623c260964559a520b88ff36402b8a0c6199f09","author":{"name":"Dario Cattaruzza","email":"be1166271e0e01cf510fc57ca41ac897a9d76882@hotmail.com"},"message":"Prevent parallel compiling of java sources\nsince multiple class files are created in each javac call, these cannot run in parallel due to race conditions.\nshould be squashed with 53ce07536cf455bc886a43712bccfe34fdd19f88","distinct":true,"url":"https://api.github.com/repos/cesaro/cbmc/commits/4623c260964559a520b88ff36402b8a0c6199f09"}]}
{"actor":{"display_login":"dcattaruzza"}}