{"push_id":1854765966,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"fe0b1ad2ebe7bf1f4dcbc7de1bafa5cf58591cec","before":"c4788fde2a31094407e3b06d49c4d16e2794ebfe","commits":[{"sha":"fe0b1ad2ebe7bf1f4dcbc7de1bafa5cf58591cec","author":{"name":"Florian Schanda","email":"9254b03ff0a22c5ae7ee186aa36b884e457a4dcd@schanda.org.uk"},"message":"Re-generate random tests for bv -> float (now includes signed ones too).","distinct":true,"url":"https://api.github.com/repos/florianschanda/smtlib_schanda/commits/fe0b1ad2ebe7bf1f4dcbc7de1bafa5cf58591cec"}]}
{"actor":{"display_login":"florianschanda"}}