{"push_id":585648782,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"06cbde6c63ba4241fcfcd2fc1f6b8d41e5079dd3","before":"1ed1e103a12b722527f73ad9bf6401f97bbdb7a2","commits":[{"sha":"06cbde6c63ba4241fcfcd2fc1f6b8d41e5079dd3","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"fix(tests/nra/test.sh): use .option file","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/06cbde6c63ba4241fcfcd2fc1f6b8d41e5079dd3"}]}