{"push_id":1908107560,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"41a7c99a67e36f35935bffa8be3c2bb7422c989a","before":"c9581888317a41a54cb32f5b2df70b3a3beb5e0d","commits":[{"sha":"41a7c99a67e36f35935bffa8be3c2bb7422c989a","author":{"name":"lihungte","email":"add8b45426a81b290b9f398657e6030a758141ac@gmail.com"},"message":"move calculate traversed block from searcher to executor; add cal time take from simulate future","distinct":true,"url":"https://api.github.com/repos/lihungte96/klee/commits/41a7c99a67e36f35935bffa8be3c2bb7422c989a"}]}
{"actor":{"display_login":"lihungte96"}}