{"push_id":882294379,"size":1,"distinct_size":1,"ref":"refs/heads/feature/basic-strategies","head":"46ed0ed491287af49b8eeb856ff84f3a624397e5","before":"669dee171da0053da821457888f2cf042d400ba8","commits":[{"sha":"46ed0ed491287af49b8eeb856ff84f3a624397e5","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"ignore another flaky test","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/46ed0ed491287af49b8eeb856ff84f3a624397e5"}]}