{"push_id":2419057546,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ac65e9d38e13141b6c3afc6efaa9e9e46a6c8288","before":"92bf8c635f81d2b434821897e01570e3f5e782be","commits":[{"sha":"ac65e9d38e13141b6c3afc6efaa9e9e46a6c8288","author":{"name":"Timothy Swan","email":"62f0bda17c037006719cc05e187c1584c59108ef@protonmail.ch"},"message":"Added json outs to unit test regression tests.","distinct":true,"url":"https://api.github.com/repos/runtimeverification/rv-match_testing/commits/ac65e9d38e13141b6c3afc6efaa9e9e46a6c8288"}]}
{"actor":{"display_login":"TimJSwan89"}}