{"push_id":689982939,"size":6,"distinct_size":1,"ref":"refs/heads/release-0.8.0","head":"79ba8dab292a0242de3849a7556ebedefe68b01e","before":"e8d002410e861250a9d151db5da5360f56d0ada0","commits":[{"sha":"37be1e76602424b0881b515b086cab4058999430","author":{"email":"b23a4f37d882c3ddb4c6ea69a047a1f968024efb@gmail.com","name":"Alain Mebsout"},"message":"Fix typo which would prevent image from being generated on test report.","distinct":false,"url":"https://api.github.com/repos/kind2-mc/kind2/commits/37be1e76602424b0881b515b086cab4058999430"},{"sha":"85cb9c10354cbc9cac36b08942443ec5d2d58595","author":{"email":"b23a4f37d882c3ddb4c6ea69a047a1f968024efb@gmail.com","name":"Alain Mebsout"},"message":"Merge remote-tracking branch 'kind2-mc/develop' into develop","distinct":false,"url":"https://api.github.com/repos/kind2-mc/kind2/commits/85cb9c10354cbc9cac36b08942443ec5d2d58595"},{"sha":"14e970dcee641f736a36ed2d09b3524cc1858e49","author":{"email":"b23a4f37d882c3ddb4c6ea69a047a1f968024efb@gmail.com","name":"mebsout"},"message":"Merge pull request #311 from mebsout/develop\n\nFix typo which would prevent image from being generated on test report","distinct":false,"url":"https://api.github.com/repos/kind2-mc/kind2/commits/14e970dcee641f736a36ed2d09b3524cc1858e49"},{"sha":"04f5ac0e55a43a9d8d6b079cf39b9ad08770ac6c","author":{"email":"5721131a1feb2f40a72464ada30fc209cd28aab4@uiowa.edu","name":"Christoph sticksel"},"message":"Don't slice definitions of vars only in asserts\n\nFixes kind2-mc/kind2-dev#110","distinct":false,"url":"https://api.github.com/repos/kind2-mc/kind2/commits/04f5ac0e55a43a9d8d6b079cf39b9ad08770ac6c"},{"sha":"933939cd195147f0a2150ad0d3a699c0a7e364be","author":{"email":"08a0d8e41000a59a1c6ed7eb96a79caaf0bfa16f@users.noreply.github.com","name":"Christoph Sticksel"},"message":"Merge pull request #312 from chsticksel/develop\n\nDon't slice definitions of vars only in asserts","distinct":false,"url":"https://api.github.com/repos/kind2-mc/kind2/commits/933939cd195147f0a2150ad0d3a699c0a7e364be"},{"sha":"79ba8dab292a0242de3849a7556ebedefe68b01e","author":{"email":"5721131a1feb2f40a72464ada30fc209cd28aab4@uiowa.edu","name":"Christoph sticksel"},"message":"Merge remote-tracking branch 'origin/develop' into release-0.8.0","distinct":true,"url":"https://api.github.com/repos/kind2-mc/kind2/commits/79ba8dab292a0242de3849a7556ebedefe68b01e"}]}