{"push_id":2837069325,"size":1,"distinct_size":1,"ref":"refs/heads/tiny","head":"766770d063dca3f793880712b40915651e26c9ce","before":"85b44355c264c721993bc93710af6f64910a98df","commits":[{"sha":"766770d063dca3f793880712b40915651e26c9ce","author":{"name":"Ramana Kumar","email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org"},"message":"Prove that target_state_rel is an invariant of asm_step","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/766770d063dca3f793880712b40915651e26c9ce"}]}
{"actor":{"display_login":"xrchz"}}