{"push_id":1089886876,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a1a0979434b1a65182d3fbea37d004c640146a2e","before":"6291018fce80a70368772f1a5ba7f1242a9d1e7f","commits":[{"sha":"a1a0979434b1a65182d3fbea37d004c640146a2e","author":{"email":"683fffd42e8bb0699fd63ac7443c964e35ef0e2c@inria.fr","name":"Didier Vojtisek"},"message":"increased timing in memory leak test in order to help the execution on\nthe CI slaves","distinct":true,"url":"https://api.github.com/repos/diverse-project/k3/commits/a1a0979434b1a65182d3fbea37d004c640146a2e"}]}