{"push_id":585973670,"size":1,"distinct_size":1,"ref":"refs/heads/behavioral","head":"e139fab34f15582ba8b6c17e645d92546e09c392","before":"4b6d9f0be2e1939661fcb2b20ed122e476bcc9a0","commits":[{"sha":"e139fab34f15582ba8b6c17e645d92546e09c392","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"updated test cases","distinct":true,"url":"https://api.github.com/repos/juodaspaulius/clafer/commits/e139fab34f15582ba8b6c17e645d92546e09c392"}]}