{"push_id":826973515,"size":2,"distinct_size":2,"ref":"refs/heads/issue-118","head":"3b72bb9757b84f960d8d026ae5d30aca24d5d3e7","before":"be19d117fc25844fce8f9260fc1d5fb55395ac40","commits":[{"sha":"944606e63be8cbe4417451fc6d7d38dbbb72391f","author":{"email":"c39c70bd8d6d90dd94d283f5a14b702621b22d02@lipn.univ-paris13.fr","name":"Hugues Leprieur"},"message":"File.decode return nil, err instead of error(err).","distinct":true,"url":"https://api.github.com/repos/CosyVerif/library/commits/944606e63be8cbe4417451fc6d7d38dbbb72391f"},{"sha":"3b72bb9757b84f960d8d026ae5d30aca24d5d3e7","author":{"email":"c39c70bd8d6d90dd94d283f5a14b702621b22d02@lipn.univ-paris13.fr","name":"Hugues Leprieur"},"message":"Suppress randomize and adapt to decode err","distinct":true,"url":"https://api.github.com/repos/CosyVerif/library/commits/3b72bb9757b84f960d8d026ae5d30aca24d5d3e7"}]}