{"push_id":695247701,"size":1,"distinct_size":1,"ref":"refs/heads/experimental","head":"3034c5a560cd8dd880376fc5c0d6f7baccf759ed","before":"6ce92a7e312cda1b1990082043589412aea3df5a","commits":[{"sha":"3034c5a560cd8dd880376fc5c0d6f7baccf759ed","author":{"email":"584ea73fef92153b8040a1e09162219e490f6284@gmail.com","name":"Liana Hadarean"},"message":"fixes to QF_BV and QF_UFBV run script","distinct":true,"url":"https://api.github.com/repos/CVC4/CVC4/commits/3034c5a560cd8dd880376fc5c0d6f7baccf759ed"}]}