{"push_id":2853388234,"size":1,"distinct_size":1,"ref":"refs/heads/fixes","head":"4c1fb8d686ef0035730134c4a0b4a3e7f7c2ac16","before":"3dab02f1ecb50dae108df6087954e703ee88de3f","commits":[{"sha":"4c1fb8d686ef0035730134c4a0b4a3e7f7c2ac16","author":{"name":"Dwight Guth","email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com"},"message":"fix rule ordinals in test outputs","distinct":true,"url":"https://api.github.com/repos/kframework/llvm-backend/commits/4c1fb8d686ef0035730134c4a0b4a3e7f7c2ac16"}]}
{"actor":{"display_login":"dwightguth"}}