{"push_id":975033366,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a9b7c52bb884447df52b393db7612b01ace4bcfa","before":"dbdf4a34b2c692faf1760536c7385cd170aa0643","commits":[{"sha":"a9b7c52bb884447df52b393db7612b01ace4bcfa","author":{"email":"7cb4acede6a8d5e8f6e900e4a5c0806ffd147e70@cl.cam.ac.uk","name":"Magnus Myreen"},"message":"StackSetSize verified","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/a9b7c52bb884447df52b393db7612b01ace4bcfa"}]}