{"push_id":965674876,"size":2,"distinct_size":2,"ref":"refs/heads/issue-186","head":"0add40e397def268f25ac0715978692a95bb2cb8","before":"6b14560b96e8d4777fb730caad97e2fa25d8a231","commits":[{"sha":"0edc0b1ce6f6bbeaea23edfc4fd2076f91b115f5","author":{"email":"5d61c11e6df8ed8ffd2a3627a86b97e825765970@linard.fr","name":"Alban Linard"},"message":"Output tool result in a temporary file.","distinct":true,"url":"https://api.github.com/repos/CosyVerif/library/commits/0edc0b1ce6f6bbeaea23edfc4fd2076f91b115f5"},{"sha":"0add40e397def268f25ac0715978692a95bb2cb8","author":{"email":"5d61c11e6df8ed8ffd2a3627a86b97e825765970@linard.fr","name":"Alban Linard"},"message":"Tool parameters are used as refine ancestors when they are proxies.","distinct":true,"url":"https://api.github.com/repos/CosyVerif/library/commits/0add40e397def268f25ac0715978692a95bb2cb8"}]}