{"push_id":1134808444,"size":1,"distinct_size":1,"ref":"refs/heads/parallelInvariants","head":"d9131132911a884f2be2f27372b9ace6552561f6","before":"d7af12c17e6fab3badaebb4df14149d269d90ea3","commits":[{"sha":"d9131132911a884f2be2f27372b9ace6552561f6","author":{"name":"Thomas Stieglmaier","email":"5f919b14acad347486cfcc925fe5476cb2791020@stieglmaier.me"},"message":"equally to shutdownIfNecessary we check if the current thread is interrupted and throw an exception then\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/parallelInvariants@21473 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/d9131132911a884f2be2f27372b9ace6552561f6"}]}
{"actor":{"display_login":"dbeyer-bot"}}