{"push_id":1631475752,"size":2,"distinct_size":2,"ref":"refs/heads/c_valedev_initial","head":"66396009831a6337042af12711c2b56438868ed7","before":"f248936470821886a91d268bcf043f548da4f83a","commits":[{"sha":"42410c55f269e668a4f31cb39fc1caa7a7fb3087","author":{"name":"Nikhil Swamy","email":"b4d6aa98ae71f168e6de9d5f2e4ec3e236a67237@users.noreply.github.com"},"message":"adding \"e <: t by tactic\"","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/42410c55f269e668a4f31cb39fc1caa7a7fb3087"},{"sha":"66396009831a6337042af12711c2b56438868ed7","author":{"name":"Nikhil Swamy","email":"b4d6aa98ae71f168e6de9d5f2e4ec3e236a67237@users.noreply.github.com"},"message":"***NO_CI*** ascriptions may carry tactic annotations","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/66396009831a6337042af12711c2b56438868ed7"}]}
{"actor":{"display_login":"nikswamy"}}