{"push_id":693945897,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"97f8533d09157aaf7df0ea5d798d1f93b67c4843","before":"fe2f3945d79c830195c7b01f5d5023c74496b286","commits":[{"sha":"97f8533d09157aaf7df0ea5d798d1f93b67c4843","author":{"email":"3623de16a2d847203d0b13f4c029365b5cd13403@microsoft.com","name":"Abhishek Anand (@ MSR desktop)"},"message":"added a minimized failure case for withNewScope\n\nalso fixed improved the type of the new while combinator","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/97f8533d09157aaf7df0ea5d798d1f93b67c4843"}]}