{"push_id":689334049,"size":1,"distinct_size":1,"ref":"refs/heads/new_compiler","head":"338273a1e30d86a88174f39ea2e1658ae432389c","before":"db32b7873c04e1522e587a845b770f7a2fca87ca","commits":[{"sha":"338273a1e30d86a88174f39ea2e1658ae432389c","author":{"email":"7cb4acede6a8d5e8f6e900e4a5c0806ffd147e70@cl.cam.ac.uk","name":"Magnus Myreen"},"message":"asm_lang proof is starting to work","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/338273a1e30d86a88174f39ea2e1658ae432389c"}]}