{"push_id":1082943447,"size":1,"distinct_size":1,"ref":"refs/heads/nicolas","head":"fe749a64c0118e505dab0184ec97f5cace8faa1b","before":"4be61ff76857cb77b5750553adf1c42d8ac5a24a","commits":[{"sha":"fe749a64c0118e505dab0184ec97f5cace8faa1b","author":{"email":"89eca3019cdfbbf550f58eaaa64dcbcd56c48719@gmail.com","name":"Nicolas Voirol"},"message":"Moved termination regression back to fairz3","distinct":true,"url":"https://api.github.com/repos/epfl-lara/leon/commits/fe749a64c0118e505dab0184ec97f5cace8faa1b"}]}