{"push_id":2998466880,"size":3,"distinct_size":3,"ref":"refs/heads/ci/python3.7","head":"f598a1cb54cae14bcbea6a0a12b3ac56de71a6b5","before":"5b7bfc310b994d5ed9019354358d45551ff89ccc","commits":[{"sha":"37766b6412e98937a9851e921032ee3dee8027a2","author":{"name":"Marco Gario","email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com"},"message":"CI: Python 3.7 on Linux","distinct":true,"url":"https://api.github.com/repos/pysmt/pysmt/commits/37766b6412e98937a9851e921032ee3dee8027a2"},{"sha":"7c39e7867c97861d00135b2b48dfb1ab8535ddb7","author":{"name":"Marco Gario","email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com"},"message":"Fixed library paths","distinct":true,"url":"https://api.github.com/repos/pysmt/pysmt/commits/7c39e7867c97861d00135b2b48dfb1ab8535ddb7"},{"sha":"f598a1cb54cae14bcbea6a0a12b3ac56de71a6b5","author":{"name":"Marco Gario","email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com"},"message":"CI: Use SWIG 3.0.10","distinct":true,"url":"https://api.github.com/repos/pysmt/pysmt/commits/f598a1cb54cae14bcbea6a0a12b3ac56de71a6b5"}]}
{"actor":{"display_login":"marcogario"}}