{"push_id":3085356511,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"9c56e540ddff14e2279ac0ea19c305389c91975a","before":"f039a8b893a45d61ec39eae3055e361e07c7b6bf","commits":[{"sha":"226e7d831f273ed747d47800149496083d4ef6d4","author":{"name":"Jason Ruchti","email":"fc8dfafd33faf173849f81354c6ad445ed8a01e3@grammatech.com"},"message":"Remove unneccessary lines in cl.mk\n\nThese are artifacts from the use of qlot.","distinct":true,"url":"https://api.github.com/repos/GrammaTech/sel/commits/226e7d831f273ed747d47800149496083d4ef6d4"},{"sha":"fb6f1ee3de9121299ce7eb26865d285cedd531de","author":{"name":"Jason Ruchti","email":"fc8dfafd33faf173849f81354c6ad445ed8a01e3@grammatech.com"},"message":"Update `real-clean` Makefile target\n\nRemove the quicklisp manifest file when executing `make real-clean`.\nThe previous `real-clean` target was tailored for use with qlot, but\nwe no longer have project-local versions of quicklisp.","distinct":true,"url":"https://api.github.com/repos/GrammaTech/sel/commits/fb6f1ee3de9121299ce7eb26865d285cedd531de"},{"sha":"9c56e540ddff14e2279ac0ea19c305389c91975a","author":{"name":"Jason Ruchti","email":"fc8dfafd33faf173849f81354c6ad445ed8a01e3@grammatech.com"},"message":"Skip coq tests if setup fails\n\nThese tests stochastically fail when test setup\ndoes not work as intended.  If setup fails, print\na warning and skip.","distinct":true,"url":"https://api.github.com/repos/GrammaTech/sel/commits/9c56e540ddff14e2279ac0ea19c305389c91975a"}]}
{"actor":{"display_login":"jaruchti"}}