{"push_id":698228242,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a0578188a8ad22dc37dff24f8ed89adfbe8c0cdb","before":"79c5c3988011ce3c32062d4abe2b337e19ef2b7c","commits":[{"sha":"a0578188a8ad22dc37dff24f8ed89adfbe8c0cdb","author":{"email":"2b213fd2edb9e831d058da59b9138d873ef390e4@gmail.com","name":"Ben Abdallah Emna"},"message":"amélioration de la présentation du code","distinct":true,"url":"https://api.github.com/repos/EmnaBenAbdallah/verification-of-dynamical-properties_PH/commits/a0578188a8ad22dc37dff24f8ed89adfbe8c0cdb"}]}