{"push_id":893635579,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"c3b5ce07859bb1dfce3ca1eb7e37eec4e66ca10a","before":"af7ffcf5756f8b22867bdd1714a452464a4a2e7b","commits":[{"sha":"a9aeb697896e48591fcba4833294894063fa8a5f","author":{"email":"05c7c2712eab81287658c607466a3eb2b59dcd80@gmail.com","name":"Daniel Selsam"},"message":"feat(frontends/lean/builtin_cmds): print metas for patterns","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/a9aeb697896e48591fcba4833294894063fa8a5f"},{"sha":"18f224c4204d3500fae1943f43417a492ab087ae","author":{"email":"05c7c2712eab81287658c607466a3eb2b59dcd80@gmail.com","name":"Daniel Selsam"},"message":"fix(library/blast/actions/simple_actions): fix assert","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/18f224c4204d3500fae1943f43417a492ab087ae"},{"sha":"0f76e3372433b15b7ee262ff643b88d58d4ea0c4","author":{"email":"05c7c2712eab81287658c607466a3eb2b59dcd80@gmail.com","name":"Daniel Selsam"},"message":"fix(tests/lean): fix tests that print patterns","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/0f76e3372433b15b7ee262ff643b88d58d4ea0c4"},{"sha":"c3b5ce07859bb1dfce3ca1eb7e37eec4e66ca10a","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(frontends/lean/builtin_cmds): show metavariable arguments when pretty printing patterns","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/c3b5ce07859bb1dfce3ca1eb7e37eec4e66ca10a"}]}