{"push_id":1422739276,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c32783e5dc236952343dbadc52a0b206b6f68bb8","before":"a059ce9f98c428294ec46968cff33d7ffce8e9ac","commits":[{"sha":"c32783e5dc236952343dbadc52a0b206b6f68bb8","author":{"name":"Ida Tucker","email":"b458cdffac1dbd17bbf0b4844619f3bb7062c1c4@emi.u-bordeaux1.fr"},"message":"All semantics tests pass (modulo the order of the formulas which i have change in the strings in the test)","distinct":true,"url":"https://api.github.com/repos/IdaTucker/BMC/commits/c32783e5dc236952343dbadc52a0b206b6f68bb8"}]}
{"actor":{"display_login":"IdaTucker"}}