{"push_id":905444545,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"f3b81aa805c77448d52df693a602b4c097ccdbd3","before":"e92b9f4c8339b83f92f09777c52472e83bb02276","commits":[{"sha":"f3b81aa805c77448d52df693a602b4c097ccdbd3","author":{"email":"6ce3f3127f4f74d215c6723b2a3c53f28d5d49ad@mines-nantes.fr","name":"cprudhom"},"message":"#355: error in PropElement#isEntailed()","distinct":true,"url":"https://api.github.com/repos/chocoteam/choco3/commits/f3b81aa805c77448d52df693a602b4c097ccdbd3"}]}