{"push_id":1612445799,"size":1,"distinct_size":1,"ref":"refs/heads/minimal_sem","head":"eac442d669f224c499346353bd07b5816e126e76","before":"57f091f893dcd60078886201c5f1d35a73e001d1","commits":[{"sha":"eac442d669f224c499346353bd07b5816e126e76","author":{"name":"Arthur Blot","email":"efaee4aa8d3ae961919c4e415fbb26011c44529f@gmail.com"},"message":"Clean leakage definitions + add definition with fixpoint + continue proof","distinct":true,"url":"https://api.github.com/repos/jasmin-lang/jasmin/commits/eac442d669f224c499346353bd07b5816e126e76"}]}
{"actor":{"display_login":"artart78"}}