{"push_id":2398373794,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f4162f26b732fb96b7efc8d2c8725b4063bb3b62","before":"b141335a0d907ea72704c3d0dc9daefeba0c5476","commits":[{"sha":"f4162f26b732fb96b7efc8d2c8725b4063bb3b62","author":{"name":"Sylvain Dailler","email":"d4a4860a20390187cc1afa712690669099b5d1b9@adacore.com"},"message":"Updated git submodules\n\nProject: why3 master 141f2f018b6073fac45584bbc9cbcb16442367a2\n\nR309-014 Errors in theories now trigger gnatwhy3 errors\n\nPrevent Why3 from catching errors and exiting abruptly when a problem\noccurs during loading of drivers (a theory was changed and the driver\ncannot be loaded for example).\n\n* src/driver/whyconf.ml\n(load_driver): Do not catch the error. The error is caught later.\n\n\nChange-Id: I4bfbb057d1f9ad38b5a1aa34c24efb4c1ef2bd29","distinct":true,"url":"https://api.github.com/repos/AdaCore/spark2014/commits/f4162f26b732fb96b7efc8d2c8725b4063bb3b62"}]}
{"actor":{"display_login":"adacore-bot"}}