{"push_id":2803166635,"size":1,"distinct_size":1,"ref":"refs/heads/travis-prune-cache","head":"955df3538f900b1d86574aa1d5094ac0f9722402","before":"2afe57ba0cbfadcf89117645d304d93427ee08c5","commits":[{"sha":"955df3538f900b1d86574aa1d5094ac0f9722402","author":{"name":"Simon Hudon","email":"d66d7745df4adaca0ad31cd53b472e40ca3328f1@gmail.com"},"message":"chore(build): prune deleted .lean files and their .olean files","distinct":true,"url":"https://api.github.com/repos/leanprover-community/mathlib/commits/955df3538f900b1d86574aa1d5094ac0f9722402"}]}
{"actor":{"display_login":"cipher1024"}}