{"push_id":1261728022,"size":1,"distinct_size":1,"ref":"refs/heads/type-constraints","head":"967b17bb457661d164b02f8cea7f19e106da0fd4","before":"ac41df51d363187138db13bef188a4c2d7b3cae7","commits":[{"sha":"967b17bb457661d164b02f8cea7f19e106da0fd4","author":{"name":"Rustan Leino","email":"a92f2703da90e09d9b33889cd2a475ffa39cd065@microsoft.com"},"message":"Additional sequence-display type-inference tests.","distinct":true,"url":"https://api.github.com/repos/Microsoft/dafny/commits/967b17bb457661d164b02f8cea7f19e106da0fd4"}]}
{"actor":{"display_login":"RustanLeino"}}