{"push_id":634950689,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"bfe9a251083879bdccd8d093e26e2bb3a9ebc387","before":"d97744fa0b910f5dfca338cc661208279677af47","commits":[{"sha":"bfe9a251083879bdccd8d093e26e2bb3a9ebc387","author":{"email":"5f46373bc4a66ea80bbe8739fe3c75a56bf2ca51@gmail.com","name":"Etienne Kneuss"},"message":"Try to fetch cvc4 before running sbt test so we test cvc4 as well","distinct":true,"url":"https://api.github.com/repos/epfl-lara/leon/commits/bfe9a251083879bdccd8d093e26e2bb3a9ebc387"}]}