{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":664107166,"defaultBranch":"master","name":"llmstep","ownerLogin":"wellecks","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-07-08T23:50:23.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/680489?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1698877088.0","currentOid":""},"activityList":{"items":[{"before":"28c05029d8af3277167013a72d30bac93138d607","after":"88f4107d14f1ff94762ef7ff528654b44a322973","ref":"refs/heads/master","pushedAt":"2023-11-11T01:30:11.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"Merge pull request #21 from kcaze/master\n\nDisplay helpful message when suggest returns no valid suggestions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1988325235\" data-permission-text=\"Title is private\" data-url=\"https://github.com/wellecks/llmstep/issues/21\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/wellecks/llmstep/pull/21/hovercard\" href=\"https://github.com/wellecks/llmstep/pull/21\">#21</a> from kcaze/master"}},{"before":"8f955a3eb9ee354e7d9de5ba684eb730d21e297d","after":null,"ref":"refs/tags/+","pushedAt":"2023-11-01T22:18:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"}},{"before":"0df14dba29b9486599aa29d6e8f896ef2f64b171","after":"28c05029d8af3277167013a72d30bac93138d607","ref":"refs/heads/master","pushedAt":"2023-11-01T22:16:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"8f955a3eb9ee354e7d9de5ba684eb730d21e297d","after":"0df14dba29b9486599aa29d6e8f896ef2f64b171","ref":"refs/heads/master","pushedAt":"2023-11-01T22:11:32.000Z","pushType":"pr_merge","commitsCount":10,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"Merge pull request #19 from wellecks/llemma_demo\n\nLlemma demo","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1973185773\" data-permission-text=\"Title is private\" data-url=\"https://github.com/wellecks/llmstep/issues/19\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/wellecks/llmstep/pull/19/hovercard\" href=\"https://github.com/wellecks/llmstep/pull/19\">#19</a> from wellecks/llemma_demo"}},{"before":"b30946e96b99fa6aad7e258d545460cf0feab957","after":"b38a7940073d1f46b7c908e44b488b703f410f9f","ref":"refs/heads/llemma_demo","pushedAt":"2023-11-01T22:10:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"Update examples and readme","shortMessageHtmlLink":"Update examples and readme"}},{"before":"ddd3d786895e10ca3db1fbc6881582beb7f94a5d","after":"b30946e96b99fa6aad7e258d545460cf0feab957","ref":"refs/heads/llemma_demo","pushedAt":"2023-11-01T21:34:28.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"Merge branch 'llemma_demo' of github.com:wellecks/llmstep into llemma_demo","shortMessageHtmlLink":"Merge branch 'llemma_demo' of github.com:wellecks/llmstep into llemma…"}},{"before":"29046a596d6079893635405f7b55dcceb46a5e7f","after":"ddd3d786895e10ca3db1fbc6881582beb7f94a5d","ref":"refs/heads/llemma_demo","pushedAt":"2023-10-31T22:52:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"747e4fc27681305f635052e22f2f2a0f2def8757","after":"29046a596d6079893635405f7b55dcceb46a5e7f","ref":"refs/heads/llemma_demo","pushedAt":"2023-10-31T22:52:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"c246d1f06af720abd010aa0dcd424048936e388c","after":"747e4fc27681305f635052e22f2f2a0f2def8757","ref":"refs/heads/llemma_demo","pushedAt":"2023-10-31T22:33:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"Filtering","shortMessageHtmlLink":"Filtering"}},{"before":"1ef409c15e69f82deb415bf02626ed69cf5da5bf","after":"8f955a3eb9ee354e7d9de5ba684eb730d21e297d","ref":"refs/heads/master","pushedAt":"2023-10-31T03:15:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"b87f73461f0bfe63d51f42bf5c796f38094f9a42","after":"1ef409c15e69f82deb415bf02626ed69cf5da5bf","ref":"refs/heads/master","pushedAt":"2023-10-31T03:09:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}},{"before":"eb8db2ba585fc2f6ac96e4c8b3dd9cdd890528bb","after":"b87f73461f0bfe63d51f42bf5c796f38094f9a42","ref":"refs/heads/master","pushedAt":"2023-10-31T03:07:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"964ffdac0da45806a94b3e58df0ef7a45954d3a5","after":"eb8db2ba585fc2f6ac96e4c8b3dd9cdd890528bb","ref":"refs/heads/master","pushedAt":"2023-10-29T01:15:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"2b6f4286d9203ce4429794f0d5d8122fe80ed809","after":"964ffdac0da45806a94b3e58df0ef7a45954d3a5","ref":"refs/heads/master","pushedAt":"2023-10-29T01:06:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"4d1119fa33b8049de62754f7ad76d707e44d21f0","after":null,"ref":"refs/heads/eval","pushedAt":"2023-10-29T00:30:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"}},{"before":"faf75b8efe1844c33aaae6746b229b251a5c4ab7","after":"2b6f4286d9203ce4429794f0d5d8122fe80ed809","ref":"refs/heads/master","pushedAt":"2023-10-29T00:30:08.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"Merge pull request #18 from wellecks/eval\n\nRuntime benchmarking","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1966784673\" data-permission-text=\"Title is private\" data-url=\"https://github.com/wellecks/llmstep/issues/18\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/wellecks/llmstep/pull/18/hovercard\" href=\"https://github.com/wellecks/llmstep/pull/18\">#18</a> from wellecks/eval"}},{"before":null,"after":"4d1119fa33b8049de62754f7ad76d707e44d21f0","ref":"refs/heads/eval","pushedAt":"2023-10-29T00:29:06.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"Runtime benchmarking","shortMessageHtmlLink":"Runtime benchmarking"}},{"before":"03e3171ace2030ea9ff6c273754e6c79f407e30b","after":null,"ref":"refs/heads/eval","pushedAt":"2023-10-29T00:14:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"}},{"before":"0433337f5c9382104c0379b0b81f5b71a06fb08e","after":"faf75b8efe1844c33aaae6746b229b251a5c4ab7","ref":"refs/heads/master","pushedAt":"2023-10-29T00:14:43.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"Merge pull request #17 from wellecks/eval\n\nBenchmarking proofsearch","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1966780315\" data-permission-text=\"Title is private\" data-url=\"https://github.com/wellecks/llmstep/issues/17\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/wellecks/llmstep/pull/17/hovercard\" href=\"https://github.com/wellecks/llmstep/pull/17\">#17</a> from wellecks/eval"}},{"before":null,"after":"03e3171ace2030ea9ff6c273754e6c79f407e30b","ref":"refs/heads/eval","pushedAt":"2023-10-29T00:14:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"Benchmarking proofsearch","shortMessageHtmlLink":"Benchmarking proofsearch"}},{"before":"944f6c3b51503f4dcdc44247df85c36efdddf5c1","after":"c246d1f06af720abd010aa0dcd424048936e388c","ref":"refs/heads/llemma_demo","pushedAt":"2023-10-28T23:28:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"Filtering","shortMessageHtmlLink":"Filtering"}},{"before":"d435bca44ccb77ae8d5d6564be02f9ccb03625fd","after":"944f6c3b51503f4dcdc44247df85c36efdddf5c1","ref":"refs/heads/llemma_demo","pushedAt":"2023-10-28T19:26:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"Filtering","shortMessageHtmlLink":"Filtering"}},{"before":"fe74a9183f6d707c0cb19e24e1fa36a54b91434a","after":"d435bca44ccb77ae8d5d6564be02f9ccb03625fd","ref":"refs/heads/llemma_demo","pushedAt":"2023-10-28T19:19:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"Llemma demo","shortMessageHtmlLink":"Llemma demo"}},{"before":"cc593873bb9bc5fd66a44f96abad8671ca0ce891","after":"fe74a9183f6d707c0cb19e24e1fa36a54b91434a","ref":"refs/heads/llemma_demo","pushedAt":"2023-10-25T21:17:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"Llemma demo","shortMessageHtmlLink":"Llemma demo"}},{"before":null,"after":"cc593873bb9bc5fd66a44f96abad8671ca0ce891","ref":"refs/heads/llemma_demo","pushedAt":"2023-10-25T16:42:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"Llemma demo","shortMessageHtmlLink":"Llemma demo"}},{"before":"abc26b95ef50186b504416cccad2511c2b12f05f","after":null,"ref":"refs/heads/importing","pushedAt":"2023-10-22T19:18:44.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"}},{"before":"08cd7cb507b82bd025d3a2d4264fbec3c23ca465","after":"0433337f5c9382104c0379b0b81f5b71a06fb08e","ref":"refs/heads/master","pushedAt":"2023-10-22T19:18:40.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"Merge pull request #16 from wellecks/importing\n\nAdd path for imported case","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1956022364\" data-permission-text=\"Title is private\" data-url=\"https://github.com/wellecks/llmstep/issues/16\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/wellecks/llmstep/pull/16/hovercard\" href=\"https://github.com/wellecks/llmstep/pull/16\">#16</a> from wellecks/importing"}},{"before":null,"after":"abc26b95ef50186b504416cccad2511c2b12f05f","ref":"refs/heads/importing","pushedAt":"2023-10-22T19:10:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"Add path for imported case","shortMessageHtmlLink":"Add path for imported case"}},{"before":"92990596f91aad7e1323a8985d46a488ce8aef57","after":"08cd7cb507b82bd025d3a2d4264fbec3c23ca465","ref":"refs/heads/master","pushedAt":"2023-10-19T05:02:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"Created using Colaboratory","shortMessageHtmlLink":"Created using Colaboratory"}},{"before":"94827fc988dbf50c7c1f6b7bf88f1917ba1509ab","after":"92990596f91aad7e1323a8985d46a488ce8aef57","ref":"refs/heads/master","pushedAt":"2023-10-19T04:12:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wellecks","name":"Sean Welleck","path":"/wellecks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/680489?s=80&v=4"},"commit":{"message":"Fix dtype","shortMessageHtmlLink":"Fix dtype"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADrJ1WMAA","startCursor":null,"endCursor":null}},"title":"Activity · wellecks/llmstep"}