{"push_id":1709821682,"size":8,"distinct_size":8,"ref":"refs/heads/dev","head":"72800bcd94cf2f124a3cf92317e45a43c2792d9f","before":"36445624dcd46a9a2d63798ca0abe2d0bb0865dd","commits":[{"sha":"fc1e3da32abc2ab0643b730c2049a1717a1ab606","author":{"name":"lyxia","email":"c92bc5a9703d72ce70b7c0b2261edfdec8b8cf2e@gmail.com"},"message":"Prettify output","distinct":true,"url":"https://api.github.com/repos/Lysxia/decor-experiments/commits/fc1e3da32abc2ab0643b730c2049a1717a1ab606"},{"sha":"c32350a8f5e52b68716e01dc3c39b9e370d66895","author":{"name":"lyxia","email":"c92bc5a9703d72ce70b7c0b2261edfdec8b8cf2e@gmail.com"},"message":"Fix progress","distinct":true,"url":"https://api.github.com/repos/Lysxia/decor-experiments/commits/c32350a8f5e52b68716e01dc3c39b9e370d66895"},{"sha":"8e11360682291cbd805bb68f099e24e0ca33f4c9","author":{"name":"lyxia","email":"c92bc5a9703d72ce70b7c0b2261edfdec8b8cf2e@gmail.com"},"message":"Parameterize streaming over an evaluation function","distinct":true,"url":"https://api.github.com/repos/Lysxia/decor-experiments/commits/8e11360682291cbd805bb68f099e24e0ca33f4c9"},{"sha":"35cab8d3bbf13f307f558acdfa1afb7c882acd34","author":{"name":"lyxia","email":"c92bc5a9703d72ce70b7c0b2261edfdec8b8cf2e@gmail.com"},"message":"Move generator wrapper into separate module","distinct":true,"url":"https://api.github.com/repos/Lysxia/decor-experiments/commits/35cab8d3bbf13f307f558acdfa1afb7c882acd34"},{"sha":"0eda8ec9b4c01e2034ecfee829644c9db41d352b","author":{"name":"lyxia","email":"c92bc5a9703d72ce70b7c0b2261edfdec8b8cf2e@gmail.com"},"message":"Better search for counter examples","distinct":true,"url":"https://api.github.com/repos/Lysxia/decor-experiments/commits/0eda8ec9b4c01e2034ecfee829644c9db41d352b"},{"sha":"9813e75c580339501103387dbee06b3435756309","author":{"name":"lyxia","email":"c92bc5a9703d72ce70b7c0b2261edfdec8b8cf2e@gmail.com"},"message":"Strong version of progress","distinct":true,"url":"https://api.github.com/repos/Lysxia/decor-experiments/commits/9813e75c580339501103387dbee06b3435756309"},{"sha":"ae26ed1faff3e2132ab72c1bb9bf48291721b445","author":{"name":"lyxia","email":"c92bc5a9703d72ce70b7c0b2261edfdec8b8cf2e@gmail.com"},"message":"Forgot SimpleIO","distinct":true,"url":"https://api.github.com/repos/Lysxia/decor-experiments/commits/ae26ed1faff3e2132ab72c1bb9bf48291721b445"},{"sha":"72800bcd94cf2f124a3cf92317e45a43c2792d9f","author":{"name":"lyxia","email":"c92bc5a9703d72ce70b7c0b2261edfdec8b8cf2e@gmail.com"},"message":"Try lazy-search (segault :( )","distinct":true,"url":"https://api.github.com/repos/Lysxia/decor-experiments/commits/72800bcd94cf2f124a3cf92317e45a43c2792d9f"}]}
{"actor":{"display_login":"Lysxia"}}