{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":615015099,"defaultBranch":"main","name":"ReProver","ownerLogin":"lean-dojo","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-03-16T19:23:13.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/136513911?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1724558153.0","currentOid":""},"activityList":{"items":[{"before":"903fac42c809f1ce85cf4d1492e4e9d2db792fd5","after":"b5c1e5bff3281c33132841bdaddb7a56f450b1bc","ref":"refs/heads/main","pushedAt":"2024-08-29T14:07:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Update tactic_generator.py","shortMessageHtmlLink":"Update tactic_generator.py"}},{"before":null,"after":"b37ca6e5781d6acd789daf8633096b1b9878994e","ref":"refs/heads/async","pushedAt":"2024-08-25T03:55:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"4ce2e67c55e7ed12093b0ff72d6fcf054998602a","after":"903fac42c809f1ce85cf4d1492e4e9d2db792fd5","ref":"refs/heads/main","pushedAt":"2024-08-23T03:33:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"minor update","shortMessageHtmlLink":"minor update"}},{"before":"47ee5637c21c8c33264e6c4e014ba2901ed47ca9","after":"4ce2e67c55e7ed12093b0ff72d6fcf054998602a","ref":"refs/heads/main","pushedAt":"2024-08-15T02:26:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"fix vllm bugs","shortMessageHtmlLink":"fix vllm bugs"}},{"before":"3cb2f0c1c7e0a64ed26f5809a9679d04024786bf","after":"47ee5637c21c8c33264e6c4e014ba2901ed47ca9","ref":"refs/heads/main","pushedAt":"2024-07-30T12:31:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"minor update to preprocess","shortMessageHtmlLink":"minor update to preprocess"}},{"before":"655b1f0bc35c9526ab74159d728343c81d94ca15","after":"3cb2f0c1c7e0a64ed26f5809a9679d04024786bf","ref":"refs/heads/main","pushedAt":"2024-07-30T02:10:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"polish the preprocess code","shortMessageHtmlLink":"polish the preprocess code"}},{"before":"de1116224e243f61751d0b2c437dfaea5be91987","after":"655b1f0bc35c9526ab74159d728343c81d94ca15","ref":"refs/heads/main","pushedAt":"2024-07-20T15:29:01.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:lean-dojo/ReProver","shortMessageHtmlLink":"Merge branch 'main' of github.com:lean-dojo/ReProver"}},{"before":"128213e3a8e03bec8edd6044a1c1b76a784e44b7","after":"de1116224e243f61751d0b2c437dfaea5be91987","ref":"refs/heads/main","pushedAt":"2024-07-20T15:27:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"273a6891ef6418e6acfdd19a349a04d5e94c127a","after":"128213e3a8e03bec8edd6044a1c1b76a784e44b7","ref":"refs/heads/main","pushedAt":"2024-07-17T13:49:26.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:lean-dojo/ReProver","shortMessageHtmlLink":"Merge branch 'main' of github.com:lean-dojo/ReProver"}},{"before":"f8c04a1611802dabdac091ef78c588c5512a5a60","after":"273a6891ef6418e6acfdd19a349a04d5e94c127a","ref":"refs/heads/main","pushedAt":"2024-07-17T13:19:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"87c13fd58712a96ac778b8dfca36bc642a694b8e","after":"f8c04a1611802dabdac091ef78c588c5512a5a60","ref":"refs/heads/main","pushedAt":"2024-07-16T14:27:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"00c3fb9eb0c3a8491b376b355945af662315820f","after":"87c13fd58712a96ac778b8dfca36bc642a694b8e","ref":"refs/heads/main","pushedAt":"2024-07-16T14:24:29.000Z","pushType":"pr_merge","commitsCount":15,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Merge pull request #63 from lean-dojo/dev\n\nUpdate Checkpoints Format","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2411307415\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lean-dojo/ReProver/issues/63\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lean-dojo/ReProver/pull/63/hovercard\" href=\"https://github.com/lean-dojo/ReProver/pull/63\">#63</a> from lean-dojo/dev"}},{"before":"e2ec3fdbd248b7dc9a3e1d3540afcbcd2319ed22","after":"e643d942669f0ce09a239ab31a14d5e40c1a7e28","ref":"refs/heads/dev","pushedAt":"2024-07-16T14:23:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"4263cfbbbbfd1ff890c71d7f9f6fb1708b474f88","after":"e2ec3fdbd248b7dc9a3e1d3540afcbcd2319ed22","ref":"refs/heads/dev","pushedAt":"2024-07-15T12:54:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"minor fix","shortMessageHtmlLink":"minor fix"}},{"before":"1c2b54162f9ef2b84083226471e80a1c8dd85cd0","after":"4263cfbbbbfd1ff890c71d7f9f6fb1708b474f88","ref":"refs/heads/dev","pushedAt":"2024-07-13T07:25:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"minor fix","shortMessageHtmlLink":"minor fix"}},{"before":"d2de5471e19dabc24b7d265031fce6628c8307ec","after":"1c2b54162f9ef2b84083226471e80a1c8dd85cd0","ref":"refs/heads/dev","pushedAt":"2024-07-13T07:06:56.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"format code","shortMessageHtmlLink":"format code"}},{"before":"04c80fb5f3db1f21d2d2a8fe193c7f886914aa08","after":"d2de5471e19dabc24b7d265031fce6628c8307ec","ref":"refs/heads/dev","pushedAt":"2024-07-12T19:01:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"add file","shortMessageHtmlLink":"add file"}},{"before":"40e07a6b36262ca1751d0c72a28db9fb72014ea0","after":"04c80fb5f3db1f21d2d2a8fe193c7f886914aa08","ref":"refs/heads/dev","pushedAt":"2024-07-12T14:33:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"a55453222bb1f84569a3070b633e40bb31a01cf6","after":"40e07a6b36262ca1751d0c72a28db9fb72014ea0","ref":"refs/heads/dev","pushedAt":"2024-07-12T14:06:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"update index.py","shortMessageHtmlLink":"update index.py"}},{"before":null,"after":"a55453222bb1f84569a3070b633e40bb31a01cf6","ref":"refs/heads/dev","pushedAt":"2024-07-12T13:09:00.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"7befc8c34fbe2a592b301db83da7163fbcabbb67","after":null,"ref":"refs/heads/decoder-only","pushedAt":"2024-07-12T12:53:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"}},{"before":"bff3a5107774144a241defb4c7009edc7bb846de","after":null,"ref":"refs/heads/vLLM","pushedAt":"2024-07-12T12:53:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"}},{"before":"3c6dafdb1693806966106760f48395c0dd3aa3eb","after":null,"ref":"refs/heads/torchtune","pushedAt":"2024-07-12T12:53:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"}},{"before":"b9a83f8f4d4a25cbd6594f62beae512ae0a83440","after":"3c6dafdb1693806966106760f48395c0dd3aa3eb","ref":"refs/heads/torchtune","pushedAt":"2024-07-09T00:49:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"vLLM + LLaMA works well","shortMessageHtmlLink":"vLLM + LLaMA works well"}},{"before":"5054223106fe6b8bc3b23915bd9fb80ca726cfdd","after":"00c3fb9eb0c3a8491b376b355945af662315820f","ref":"refs/heads/main","pushedAt":"2024-07-08T09:46:15.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Peiyang-Song","name":"Peiyang Song","path":"/Peiyang-Song","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114432581?s=80&v=4"},"commit":{"message":"Merge pull request #61 from Peiyang-Song/main\n\nMinor fix to remove CI node warning","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2395162621\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lean-dojo/ReProver/issues/61\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lean-dojo/ReProver/pull/61/hovercard\" href=\"https://github.com/lean-dojo/ReProver/pull/61\">#61</a> from Peiyang-Song/main"}},{"before":"777265a185391354b49ddba7877de7a8f4f8b86f","after":"b9a83f8f4d4a25cbd6594f62beae512ae0a83440","ref":"refs/heads/torchtune","pushedAt":"2024-07-06T19:22:30.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Synchronous vLLM working","shortMessageHtmlLink":"Synchronous vLLM working"}},{"before":null,"after":"777265a185391354b49ddba7877de7a8f4f8b86f","ref":"refs/heads/torchtune","pushedAt":"2024-07-02T18:27:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"add torchtune","shortMessageHtmlLink":"add torchtune"}},{"before":"fe8841bcff09525106b64c032c0407faa7d63e4d","after":"5054223106fe6b8bc3b23915bd9fb80ca726cfdd","ref":"refs/heads/main","pushedAt":"2024-06-29T03:24:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"minor update","shortMessageHtmlLink":"minor update"}},{"before":"3d68aef3bbbee0636a2a836670a6fe64e1659caa","after":"fe8841bcff09525106b64c032c0407faa7d63e4d","ref":"refs/heads/main","pushedAt":"2024-05-10T20:50:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"060e67d235bbe2877e0eedd582815a48adb67fb6","after":"3d68aef3bbbee0636a2a836670a6fe64e1659caa","ref":"refs/heads/main","pushedAt":"2024-04-26T23:33:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yOVQxNDowNzowNC4wMDAwMDBazwAAAASnsdMc","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNC0yNlQyMzozMzo0OS4wMDAwMDBazwAAAAQ7mAq8"}},"title":"Activity · lean-dojo/ReProver"}