{"push_id":792759574,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"cd90064955e84ecbcf0ca4cd40a80cf863648934","before":"2e5f8f9b5acebce28211c77c80a212c0c7aa2fb8","commits":[{"sha":"cd90064955e84ecbcf0ca4cd40a80cf863648934","author":{"email":"bef1b416b4cdc66770c4c8a4c7d71f135849471d@dkr11.cs.ox.ac.uk","name":"Alex Horn"},"message":"Fix handling of pthreads in concrete execution","distinct":true,"url":"https://api.github.com/repos/ahorn/benchmarks/commits/cd90064955e84ecbcf0ca4cd40a80cf863648934"}]}