{"push_id":995105267,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"4e22fef8e188e85f64351a22a5eecd9b297896c1","before":"d3d89c9b82a2da961d26659fbfd632a79431cf16","commits":[{"sha":"e95b2050b1bf1c800cadf79e70c452cf9e19f744","author":{"email":"24a0ca276f0c51fe4cb6460bbd35f8842354fb44@gmail.com","name":"Ralf Vogler"},"message":"slr3/t fixes (needs cleanup)","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/e95b2050b1bf1c800cadf79e70c452cf9e19f744"},{"sha":"4e22fef8e188e85f64351a22a5eecd9b297896c1","author":{"email":"24a0ca276f0c51fe4cb6460bbd35f8842354fb44@gmail.com","name":"Ralf Vogler"},"message":"download linux-headers before tests, increase default timeout to 9s","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/4e22fef8e188e85f64351a22a5eecd9b297896c1"}]}