{"push_id":2500306602,"size":1,"distinct_size":1,"ref":"refs/heads/pure-uint","head":"e5db5a10aee71de5a82f0a30abfa29be367ffcc0","before":"7a2137a7b2fc02b9584ca719611731a0ae4d32d0","commits":[{"sha":"e5db5a10aee71de5a82f0a30abfa29be367ffcc0","author":{"name":"Theodoros Kasampalis","email":"a0963571500b92c60eba27b7f72bc73479f32a05@illinois.edu"},"message":"Fixes in two SolidityEndToEnd tests","distinct":true,"url":"https://api.github.com/repos/runtimeverification/solidity/commits/e5db5a10aee71de5a82f0a30abfa29be367ffcc0"}]}
{"actor":{"display_login":"theo25"}}