{"push_id":2662135250,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"eed1dd9708543e15de5d6bb2750f52299d47cee0","before":"8e90df4357354f78cc8a3c823f572b3ee4ec022d","commits":[{"sha":"eed1dd9708543e15de5d6bb2750f52299d47cee0","author":{"name":"Piotr Trojanek","email":"cf728c1c31506c7219195290995225cd6fff6281@altran.com"},"message":"R618-024 minimize reproducer\n\nThe minimized test is perfectly enough to reproduce the problem, which\nhappens when we analyse the nested package with the visibility of the\nenclosing package.\n\n* testsuite/gnatprove/tests/R618-024__flow_crash_constrained_record/\nMimized.\n\nChange-Id: If19650d4608867595ffed4f9a1aa51e94f62dc2c","distinct":true,"url":"https://api.github.com/repos/AdaCore/spark2014/commits/eed1dd9708543e15de5d6bb2750f52299d47cee0"}]}
{"actor":{"display_login":"adacore-bot"}}