{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":580892668,"defaultBranch":"master","name":"acorn","ownerLogin":"lacker","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-12-21T18:08:52.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/106475?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1671646133.249459","currentOid":""},"activityList":{"items":[{"before":"7a360c4ebea11d95d9376b1636836965b0445909","after":"de14d1c2a9f67a32816407e704729da9290edce2","ref":"refs/heads/master","pushedAt":"2024-07-22T22:23:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"add the implicit proof step","shortMessageHtmlLink":"add the implicit proof step"}},{"before":"f800be89d9541e581d387f18cf03088648559cfb","after":"7a360c4ebea11d95d9376b1636836965b0445909","ref":"refs/heads/master","pushedAt":"2024-07-22T22:17:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"ProofStepId","shortMessageHtmlLink":"ProofStepId"}},{"before":"2fb341bc1ac6022c84be72d6dd619e9f31fc1072","after":"f800be89d9541e581d387f18cf03088648559cfb","ref":"refs/heads/master","pushedAt":"2024-07-22T21:56:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"refactor into add_step","shortMessageHtmlLink":"refactor into add_step"}},{"before":"438d3f7637313a8bd0c79f0dd095171aff87aae3","after":"2fb341bc1ac6022c84be72d6dd619e9f31fc1072","ref":"refs/heads/master","pushedAt":"2024-07-22T21:31:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"avoid collect","shortMessageHtmlLink":"avoid collect"}},{"before":"4da7530372ec7ab8315cd1d65b323e9c83b7a170","after":"438d3f7637313a8bd0c79f0dd095171aff87aae3","ref":"refs/heads/master","pushedAt":"2024-07-22T21:29:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"remove unused btree index","shortMessageHtmlLink":"remove unused btree index"}},{"before":"12d5d39dc9406451611e2c924402beb8babfb93c","after":"4da7530372ec7ab8315cd1d65b323e9c83b7a170","ref":"refs/heads/master","pushedAt":"2024-07-22T21:22:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"externally condense","shortMessageHtmlLink":"externally condense"}},{"before":"ce68e568c4612c533f0820abcad6412fb6d2c95b","after":"12d5d39dc9406451611e2c924402beb8babfb93c","ref":"refs/heads/master","pushedAt":"2024-07-22T19:39:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"tag rewrite steps as exact vs inexact","shortMessageHtmlLink":"tag rewrite steps as exact vs inexact"}},{"before":"1fe318a304cf355750ebdad35b9ccc3d4c372b50","after":"ce68e568c4612c533f0820abcad6412fb6d2c95b","ref":"refs/heads/master","pushedAt":"2024-07-22T19:18:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"fix naming","shortMessageHtmlLink":"fix naming"}},{"before":"bc500e705f7172d122eb914a9eee6e84bdbec195","after":"1fe318a304cf355750ebdad35b9ccc3d4c372b50","ref":"refs/heads/master","pushedAt":"2024-07-22T19:07:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"stop reporting None steps in rewrites","shortMessageHtmlLink":"stop reporting None steps in rewrites"}},{"before":"05e7eda0a0b9640d70c885c0586deb426b3e6aec","after":"bc500e705f7172d122eb914a9eee6e84bdbec195","ref":"refs/heads/master","pushedAt":"2024-07-22T18:25:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"tweak naming","shortMessageHtmlLink":"tweak naming"}},{"before":"50e01c65080d01cc88cb4e8c5d7b48c92cc3d517","after":"05e7eda0a0b9640d70c885c0586deb426b3e6aec","ref":"refs/heads/master","pushedAt":"2024-07-22T17:42:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"remove no longer used prover method","shortMessageHtmlLink":"remove no longer used prover method"}},{"before":"81b8243a77d1cf06240d2eb4671bd7a2bda9f25a","after":"50e01c65080d01cc88cb4e8c5d7b48c92cc3d517","ref":"refs/heads/master","pushedAt":"2024-07-22T17:41:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"make search tool use partial_search","shortMessageHtmlLink":"make search tool use partial_search"}},{"before":"15188deb5dfb4ef90c1b1a13c95f7c81adcba61d","after":"81b8243a77d1cf06240d2eb4671bd7a2bda9f25a","ref":"refs/heads/master","pushedAt":"2024-07-22T16:59:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"no need for tokio test","shortMessageHtmlLink":"no need for tokio test"}},{"before":"a8b43dfa6b9f6fb9ce4cbd976e9ebe58c6667d9d","after":"15188deb5dfb4ef90c1b1a13c95f7c81adcba61d","ref":"refs/heads/master","pushedAt":"2024-07-12T22:15:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"hmm, trivial but unsimplifiable proof","shortMessageHtmlLink":"hmm, trivial but unsimplifiable proof"}},{"before":"35ea34bd17c6998140edc2c01dc5c0e01c9f4cb8","after":"a8b43dfa6b9f6fb9ce4cbd976e9ebe58c6667d9d","ref":"refs/heads/master","pushedAt":"2024-07-12T22:03:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"some addition solutions","shortMessageHtmlLink":"some addition solutions"}},{"before":"8a408e8785d7409b233ddf62cbc6069faf84652e","after":"35ea34bd17c6998140edc2c01dc5c0e01c9f4cb8","ref":"refs/heads/master","pushedAt":"2024-07-12T22:00:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"be more flexible in module names","shortMessageHtmlLink":"be more flexible in module names"}},{"before":"cc374fc7ae50a1b2aae83ae84d68b14a67b0642b","after":"8a408e8785d7409b233ddf62cbc6069faf84652e","ref":"refs/heads/master","pushedAt":"2024-07-12T21:49:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"module name error is now cleaner","shortMessageHtmlLink":"module name error is now cleaner"}},{"before":"344064f2450399a5e02655da823ee59b77db58ba","after":"cc374fc7ae50a1b2aae83ae84d68b14a67b0642b","ref":"refs/heads/master","pushedAt":"2024-07-12T21:29:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"some addition problems","shortMessageHtmlLink":"some addition problems"}},{"before":"f0b9e06149e346f5d00d30eef61e7afd58372839","after":"344064f2450399a5e02655da823ee59b77db58ba","ref":"refs/heads/master","pushedAt":"2024-07-12T21:16:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"problem statements","shortMessageHtmlLink":"problem statements"}},{"before":"e78dbfa00ecabfa071e8ebdd7238daf839b60175","after":"f0b9e06149e346f5d00d30eef61e7afd58372839","ref":"refs/heads/master","pushedAt":"2024-07-12T20:57:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"move problems","shortMessageHtmlLink":"move problems"}},{"before":"5e51e90d37234120c50da9bcc2e35b885f327d28","after":"e78dbfa00ecabfa071e8ebdd7238daf839b60175","ref":"refs/heads/master","pushedAt":"2024-07-12T20:49:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"squiggles look good","shortMessageHtmlLink":"squiggles look good"}},{"before":"431e8ff9c1e36b7166a1aaf322cd368c46665f88","after":"5e51e90d37234120c50da9bcc2e35b885f327d28","ref":"refs/heads/master","pushedAt":"2024-07-12T20:37:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"actually get the solve goal into the solve block","shortMessageHtmlLink":"actually get the solve goal into the solve block"}},{"before":"b04fd13d3f4b7e97a1637c5c0ada1c6201819b42","after":"431e8ff9c1e36b7166a1aaf322cd368c46665f88","ref":"refs/heads/master","pushedAt":"2024-07-12T20:14:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"clean up path-getting","shortMessageHtmlLink":"clean up path-getting"}},{"before":"b441b839da3b4ade0ea7b45669cde7e1fd1539e2","after":"b04fd13d3f4b7e97a1637c5c0ada1c6201819b42","ref":"refs/heads/master","pushedAt":"2024-07-12T20:12:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"remove prop paths","shortMessageHtmlLink":"remove prop paths"}},{"before":"e31feaf2619a17220ec1cb70f18f2578ba19f38f","after":"b441b839da3b4ade0ea7b45669cde7e1fd1539e2","ref":"refs/heads/master","pushedAt":"2024-07-12T19:10:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"\"basic\" terminaology","shortMessageHtmlLink":"\"basic\" terminaology"}},{"before":"7d6adc54b077920c8074bedb25aef581d4c2f143","after":"e31feaf2619a17220ec1cb70f18f2578ba19f38f","ref":"refs/heads/master","pushedAt":"2024-07-12T19:08:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"more failing tests, catching goal path problems","shortMessageHtmlLink":"more failing tests, catching goal path problems"}},{"before":"1ec21936d33a9494b926d5749ed1c153443cc823","after":"7d6adc54b077920c8074bedb25aef581d4c2f143","ref":"refs/heads/master","pushedAt":"2024-07-12T18:55:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"tdd red","shortMessageHtmlLink":"tdd red"}},{"before":"c7ccfd569f3d65240d62e944a8459e94fee7852b","after":"1ec21936d33a9494b926d5749ed1c153443cc823","ref":"refs/heads/master","pushedAt":"2024-07-12T18:51:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"add a test for solve blocks","shortMessageHtmlLink":"add a test for solve blocks"}},{"before":"fcd66fd2ad7a9f0723f4a5f11d2b1331f6da4c68","after":"c7ccfd569f3d65240d62e944a8459e94fee7852b","ref":"refs/heads/master","pushedAt":"2024-07-12T18:40:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"testing","shortMessageHtmlLink":"testing"}},{"before":"08f79815a227e9b00bc9cd34947a9e86bca07f7c","after":"fcd66fd2ad7a9f0723f4a5f11d2b1331f6da4c68","ref":"refs/heads/master","pushedAt":"2024-07-12T18:32:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lacker","name":"Kevin Lacker","path":"/lacker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/106475?s=80&v=4"},"commit":{"message":"allow empty solve blocks","shortMessageHtmlLink":"allow empty solve blocks"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEhkBOggA","startCursor":null,"endCursor":null}},"title":"Activity · lacker/acorn"}