{"push_id":2406887523,"size":1,"distinct_size":1,"ref":"refs/heads/translation/callable-with-args","head":"74506af70b38b3edbcbfc2d668408822c61fcb17","before":"0996d286cb4acf103f7a6a487e0b448e764ee1ad","commits":[{"sha":"74506af70b38b3edbcbfc2d668408822c61fcb17","author":{"name":"Nishant Rodrigues","email":"46a78c8f75a481d2c0b71f99df92e63f68af5098@gmail.com"},"message":"translation: IELE json runner for add1923.json","distinct":true,"url":"https://api.github.com/repos/kframework/plutus-core-semantics/commits/74506af70b38b3edbcbfc2d668408822c61fcb17"}]}
{"actor":{"display_login":"nishantjr"}}