{"push_id":1355237162,"size":2,"distinct_size":0,"ref":"refs/heads/master","head":"22a00e294fb33e08941fe09e29acfe535042e605","before":"6543fa6eeb21dee9b15cbadc7ff4410a21ca4682","commits":[{"sha":"775b8f555056f69e7370c443ee65ab9898fb6f0a","author":{"name":"Nikhil Swamy","email":"b4d6aa98ae71f168e6de9d5f2e4ec3e236a67237@users.noreply.github.com"},"message":"sending all error output to stderr; printing elapsed times; tagging errors with (Error)","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/775b8f555056f69e7370c443ee65ab9898fb6f0a"},{"sha":"22a00e294fb33e08941fe09e29acfe535042e605","author":{"name":"Nikhil Swamy","email":"b4d6aa98ae71f168e6de9d5f2e4ec3e236a67237@users.noreply.github.com"},"message":"fixing the checking of negative test counts to match new error reporting convention","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/22a00e294fb33e08941fe09e29acfe535042e605"}]}
{"actor":{"display_login":"nikswamy"}}