{"push_id":809917022,"size":11,"distinct_size":1,"ref":"refs/heads/perf-monitor","head":"ab8d14a978c7b805c9dedeabf7102050b86e3ff1","before":"9f6675222e207b3fb74995ab1a4caa23eeed29ef","commits":[{"sha":"e12ee1a45b39ae3291db7377ef185189eee7b609","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"another missing check: only add base things to the environment","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/e12ee1a45b39ae3291db7377ef185189eee7b609"},{"sha":"af0c2977197b276163506cf29418739fe822a7ce","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"expressing first monadic law","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/af0c2977197b276163506cf29418739fe822a7ce"},{"sha":"6ad3186d3c327bcd4d6021a6c2fcee35193e043f","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"cont on monadic laws","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/6ad3186d3c327bcd4d6021a6c2fcee35193e043f"},{"sha":"881d2286ac6b614e0ab14d9016037b3e240d472c","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"adding some logs","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/881d2286ac6b614e0ab14d9016037b3e240d472c"},{"sha":"2a0bcacb281b4f59474a67e682525894c5814160","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"fix by","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/2a0bcacb281b4f59474a67e682525894c5814160"},{"sha":"5f0469d530d54b3de962a7f9c4885fc37b479859","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"Merge branch 'master' of https://github.com/ucsd-progsys/liquidhaskell","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/5f0469d530d54b3de962a7f9c4885fc37b479859"},{"sha":"febc46952ce2de1085f2f4dadf936a9af8c3ae61","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"cannot import bounded types","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/febc46952ce2de1085f2f4dadf936a9af8c3ae61"},{"sha":"c2177cdfa5ceb6302095ba06428af80f0c66830d","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"inline chain bound","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/c2177cdfa5ceb6302095ba06428af80f0c66830d"},{"sha":"74af61c74ad5b946b1aa199edf9c69bbf244e3f0","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"random edit to trigger travis","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/74af61c74ad5b946b1aa199edf9c69bbf244e3f0"},{"sha":"61b4ab6d27b33c9579d58afaf815e34b92cc10b7","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"asd Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/61b4ab6d27b33c9579d58afaf815e34b92cc10b7"},{"sha":"ab8d14a978c7b805c9dedeabf7102050b86e3ff1","author":{"email":"11589af7df9a2b4e5d0d8a76e9df0ddf112f4884@users.noreply.github.com","name":"Chris Tetreault"},"message":"Merge pull request #474 from ucsd-progsys/master\n\npull updates to master into perf-mon","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/ab8d14a978c7b805c9dedeabf7102050b86e3ff1"}]}