{"push_id":1112949668,"size":1,"distinct_size":1,"ref":"refs/heads/feature/smtcomp","head":"a5fe6a7e692f42f3484e706ea818de431a015217","before":"27c94fbd40734b066fc04d8a09b9f974a1127514","commits":[{"sha":"a5fe6a7e692f42f3484e706ea818de431a015217","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"add build script for SMT-COMP submission","distinct":true,"url":"https://api.github.com/repos/msakai/toysolver/commits/a5fe6a7e692f42f3484e706ea818de431a015217"}]}