{"push_id":2785320502,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"22703282ace92367291993f19ba9a166b52e5921","before":"8c39cb37a040a98ca717bbc7741438a5591e6332","commits":[{"sha":"22703282ace92367291993f19ba9a166b52e5921","author":{"name":"Piotr Trojanek","email":"cf728c1c31506c7219195290995225cd6fff6281@altran.com"},"message":"Q123-035 strip test to the bare minimum\n\nLooking at the CFGs generated for this test the problem happens in a call to\na null procedure, whose Global contract is not verified (since null\nprocedures have no body). The rest is unimportant.\n\n* testsuite/gnatprove/tests/Q123-035__flow_null_subp_with_globals/\nMinimize; update output (it still info messages, which are wrong, and lacks\nsome checks that we would expect).\n\nChange-Id: I6b1b67b41c1a762489bccdbc0d0f27fa9264f6bc","distinct":true,"url":"https://api.github.com/repos/AdaCore/spark2014/commits/22703282ace92367291993f19ba9a166b52e5921"}]}
{"actor":{"display_login":"adacore-bot"}}