{"push_id":1283787365,"size":5,"distinct_size":5,"ref":"refs/heads/snowflake-performance","head":"e109bcb0f8033de0c83879c7f9b22110e616d424","before":"569a75668ab72263b1c56c756edb779ebcfbc739","commits":[{"sha":"0f803f90cd1acd6e32e549f3d00e91829fa63884","author":{"name":"Martin Stone Davis","email":"303782310c6ad764ee63eec244f89d4a7ec2ec70@gmail.com"},"message":"add AgdaIssue2159-mod1-strict.agda, which shows the utility of primForce","distinct":true,"url":"https://api.github.com/repos/m0davis/scratch/commits/0f803f90cd1acd6e32e549f3d00e91829fa63884"},{"sha":"9206a170643bae44a3cbad492ab2a10e83656214","author":{"name":"Martin Stone Davis","email":"303782310c6ad764ee63eec244f89d4a7ec2ec70@gmail.com"},"message":"use Agda.Builtin.Strict in AgdaIssue2159-mod2.agda but still getting space leak","distinct":true,"url":"https://api.github.com/repos/m0davis/scratch/commits/9206a170643bae44a3cbad492ab2a10e83656214"},{"sha":"3806c832dde141c71457d09be238693e03c2ce76","author":{"name":"Martin Stone Davis","email":"303782310c6ad764ee63eec244f89d4a7ec2ec70@gmail.com"},"message":"copy AgdaIssue2159-mod2 to MemoryHog-1","distinct":true,"url":"https://api.github.com/repos/m0davis/scratch/commits/3806c832dde141c71457d09be238693e03c2ce76"},{"sha":"a6ea840c506074e3d28068fd60254c2a8d9e9f2e","author":{"name":"Martin Stone Davis","email":"303782310c6ad764ee63eec244f89d4a7ec2ec70@gmail.com"},"message":"add strictness and some more tests to MemoryHog-1.agda","distinct":true,"url":"https://api.github.com/repos/m0davis/scratch/commits/a6ea840c506074e3d28068fd60254c2a8d9e9f2e"},{"sha":"e109bcb0f8033de0c83879c7f9b22110e616d424","author":{"name":"Martin Stone Davis","email":"303782310c6ad764ee63eec244f89d4a7ec2ec70@gmail.com"},"message":"add Snowflake/MemoryHog-2.agda","distinct":true,"url":"https://api.github.com/repos/m0davis/scratch/commits/e109bcb0f8033de0c83879c7f9b22110e616d424"}]}
{"actor":{"display_login":"m0davis"}}