{"push_id":3067322824,"size":1,"distinct_size":1,"ref":"refs/heads/verify-autodiff-insts","head":"9b502c133d3575c83084447142df6f9cf88e3372","before":"d8de642d4f030b4536a9e6a7acd08d10a42b5645","commits":[{"sha":"9b502c133d3575c83084447142df6f9cf88e3372","author":{"name":"Richard Wei","email":"3a39a3ee6ebc99bd2c549d35b83062bd13ec047a@google.com"},"message":"Address review comments.\n\n- Use the differentiation order induction variable in the verifier.\n\n- Re-format.\n\n- Fix a typo.","distinct":true,"url":"https://api.github.com/repos/rxwei/swift/commits/9b502c133d3575c83084447142df6f9cf88e3372"}]}
{"actor":{"display_login":"rxwei"}}