{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":785386626,"defaultBranch":"main","name":"PyPantograph","ownerLogin":"lenianiva","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-04-11T19:37:58.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/107011294?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1725935738.0","currentOid":""},"activityList":{"items":[{"before":"8d435079019349d1b117746dc85a1aac261c1b45","after":"5effc63d9efe4a537d5bf5378e725706f083b120","ref":"refs/heads/main","pushedAt":"2024-09-16T14:49:01.000Z","pushType":"pr_merge","commitsCount":24,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"},"commit":{"message":"Merge pull request #10 from lenianiva/search\n\nfeat: Add experiment on miniF2F","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2332546405\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lenianiva/PyPantograph/issues/10\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lenianiva/PyPantograph/pull/10/hovercard\" href=\"https://github.com/lenianiva/PyPantograph/pull/10\">#10</a> from lenianiva/search"}},{"before":"180f1b1313e573e7009d9c4010cf6ce406fd3353","after":"8d435079019349d1b117746dc85a1aac261c1b45","ref":"refs/heads/main","pushedAt":"2024-09-14T01:22:51.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"},"commit":{"message":"Merge pull request #13 from lenianiva/frontend/collect-holes\n\nfeat: Collect sorrys command in the server","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2515264720\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lenianiva/PyPantograph/issues/13\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lenianiva/PyPantograph/pull/13/hovercard\" href=\"https://github.com/lenianiva/PyPantograph/pull/13\">#13</a> from lenianiva/frontend/collect-holes"}},{"before":"8abe689a0a83a85f106a78a26af413901424b025","after":"01ec8fa22a4ec57e70e22a9ca5885568a6bb2a1a","ref":"refs/heads/search","pushedAt":"2024-09-14T01:19:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"},"commit":{"message":"refactor: Update the experiment repo Lean version, use new load_sorry API","shortMessageHtmlLink":"refactor: Update the experiment repo Lean version, use new load_sorry…"}},{"before":"6f4c26eceeff1ce4cc0d3764a0277844eac10ea7","after":"8abe689a0a83a85f106a78a26af413901424b025","ref":"refs/heads/search","pushedAt":"2024-09-14T00:54:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"},"commit":{"message":"fix: Make search work with automatic mode","shortMessageHtmlLink":"fix: Make search work with automatic mode"}},{"before":"27599f7fad7617adc305045aeda5ad3cf1761746","after":"6f4c26eceeff1ce4cc0d3764a0277844eac10ea7","ref":"refs/heads/search","pushedAt":"2024-09-14T00:38:31.000Z","pushType":"push","commitsCount":14,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"},"commit":{"message":"Merge branch 'frontend/collect-holes' into search","shortMessageHtmlLink":"Merge branch 'frontend/collect-holes' into search"}},{"before":"d99104cf0ec7bc3611c4c0fa9f9748b7e7b570ff","after":"2f70e6d91804740d0098f98ea6cf673edbf96f03","ref":"refs/heads/frontend/collect-holes","pushedAt":"2024-09-10T02:36:10.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"},"commit":{"message":"Merge branch 'main' into frontend/collect-holes","shortMessageHtmlLink":"Merge branch 'main' into frontend/collect-holes"}},{"before":"775e30a80fdecda72bb716f61c56f0abd8623665","after":null,"ref":"refs/heads/compile/tactic","pushedAt":"2024-09-10T02:35:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"}},{"before":"f2de062d111ef2bc659e1e67b4441c9622a5847a","after":"d99104cf0ec7bc3611c4c0fa9f9748b7e7b570ff","ref":"refs/heads/frontend/collect-holes","pushedAt":"2024-09-10T02:29:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"},"commit":{"message":"doc: Update jupyter notebook","shortMessageHtmlLink":"doc: Update jupyter notebook"}},{"before":"d85cff52645939adb7385cb03431e915b98c1cb4","after":"f2de062d111ef2bc659e1e67b4441c9622a5847a","ref":"refs/heads/frontend/collect-holes","pushedAt":"2024-09-10T02:06:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"},"commit":{"message":"fix: Versioning in the examples, tactic invocation","shortMessageHtmlLink":"fix: Versioning in the examples, tactic invocation"}},{"before":null,"after":"d85cff52645939adb7385cb03431e915b98c1cb4","ref":"refs/heads/frontend/collect-holes","pushedAt":"2024-09-10T01:49:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"},"commit":{"message":"chore: Library update","shortMessageHtmlLink":"chore: Library update"}},{"before":"889aa79c18cc9d15939b90f40b99db5d9f6a366a","after":"180f1b1313e573e7009d9c4010cf6ce406fd3353","ref":"refs/heads/main","pushedAt":"2024-09-09T19:41:31.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"},"commit":{"message":"Merge pull request #12 from lenianiva/doc/cite\n\ndoc: Add citation format","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2511484394\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lenianiva/PyPantograph/issues/12\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lenianiva/PyPantograph/pull/12/hovercard\" href=\"https://github.com/lenianiva/PyPantograph/pull/12\">#12</a> from lenianiva/doc/cite"}},{"before":"6d990601c1c36425c748a0834eddcc03b85f53eb","after":"889aa79c18cc9d15939b90f40b99db5d9f6a366a","ref":"refs/heads/main","pushedAt":"2024-09-09T18:38:38.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"},"commit":{"message":"Merge pull request #11 from lenianiva/dev\n\nfeat: Automatic mode (for the gym experience)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2511479926\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lenianiva/PyPantograph/issues/11\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lenianiva/PyPantograph/pull/11/hovercard\" href=\"https://github.com/lenianiva/PyPantograph/pull/11\">#11</a> from lenianiva/dev"}},{"before":"58bb660af75e6b5f68fcf97e3aa17b2d96099b58","after":"75ada0b5ad527503ef99d1787e148fdddc5ef96e","ref":"refs/heads/doc/cite","pushedAt":"2024-09-07T05:53:25.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"},"commit":{"message":"doc: Add citation format","shortMessageHtmlLink":"doc: Add citation format"}},{"before":null,"after":"58bb660af75e6b5f68fcf97e3aa17b2d96099b58","ref":"refs/heads/doc/cite","pushedAt":"2024-09-07T05:41:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"},"commit":{"message":"doc: Add citation format","shortMessageHtmlLink":"doc: Add citation format"}},{"before":"a79fe979fdeef689cd5cd1d98a868119d288840e","after":"69b01d38795131e43eb84be06f1aaaa9a1a50692","ref":"refs/heads/dev","pushedAt":"2024-09-07T05:34:52.000Z","pushType":"push","commitsCount":25,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"},"commit":{"message":"Merge branch 'main' into dev","shortMessageHtmlLink":"Merge branch 'main' into dev"}},{"before":"cf85bb6901c310cbc6c59eaa3bcb4c78b5fd1709","after":"a79fe979fdeef689cd5cd1d98a868119d288840e","ref":"refs/heads/dev","pushedAt":"2024-09-07T05:26:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"},"commit":{"message":"feat: Automatic mode (for the gym experience)","shortMessageHtmlLink":"feat: Automatic mode (for the gym experience)"}},{"before":"695374a3e4daeb894bf9705c019a4805abc93916","after":null,"ref":"refs/heads/compile/units","pushedAt":"2024-09-07T00:52:01.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"}},{"before":"16cf53b2242cce13dad42d82a01be9053586083f","after":"6d990601c1c36425c748a0834eddcc03b85f53eb","ref":"refs/heads/main","pushedAt":"2024-09-07T00:51:57.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"},"commit":{"message":"Merge pull request #7 from lenianiva/compile/units\n\nfeat: Compilation unit extraction","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2328749577\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lenianiva/PyPantograph/issues/7\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lenianiva/PyPantograph/pull/7/hovercard\" href=\"https://github.com/lenianiva/PyPantograph/pull/7\">#7</a> from lenianiva/compile/units"}},{"before":"65dcaa2ea5386b786c8717c6bb89c063b4ad3b06","after":"e533bcc0889963210ba5bcd73f7af5d781001349","ref":"refs/heads/brando","pushedAt":"2024-07-15T22:06:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"brando90","name":"Brando Miranda","path":"/brando90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1855278?s=80&v=4"},"commit":{"message":"[self-contained `install.sh` script](https://github.com/brando90/learning_lean/blob/main/install.sh)\n\n[self-contained `install.sh` script](https://github.com/brando90/learning_lean/blob/main/install.sh)","shortMessageHtmlLink":"[self-contained <code>install.sh</code> script](<a href=\"https://github.com/brando90/learning_lean/blob/main/install.sh\">https://github.com/brando90/lear…</a>"}},{"before":"9364daffad0d2074ee05cccbdba83c7cc2748f0b","after":"65dcaa2ea5386b786c8717c6bb89c063b4ad3b06","ref":"refs/heads/brando","pushedAt":"2024-07-11T22:49:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"brando90","name":"Brando Miranda","path":"/brando90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1855278?s=80&v=4"},"commit":{"message":"pushing dsp to my branch","shortMessageHtmlLink":"pushing dsp to my branch"}},{"before":"c9cc0ff2e20b57c1f214a07573585538b3eb62af","after":"695374a3e4daeb894bf9705c019a4805abc93916","ref":"refs/heads/compile/units","pushedAt":"2024-07-01T19:18:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"},"commit":{"message":"feat: Example Jupyter notebook","shortMessageHtmlLink":"feat: Example Jupyter notebook"}},{"before":"20b19c8e6cf16c55a297dde21610f26e791e58bc","after":"27599f7fad7617adc305045aeda5ad3cf1761746","ref":"refs/heads/search","pushedAt":"2024-06-05T22:23:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"},"commit":{"message":"feat: Set lower parameters for search","shortMessageHtmlLink":"feat: Set lower parameters for search"}},{"before":"7b9829e3d2abc82f3732b79256f4f4ddd5987394","after":"20b19c8e6cf16c55a297dde21610f26e791e58bc","ref":"refs/heads/search","pushedAt":"2024-06-05T22:21:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"},"commit":{"message":"feat: Handle max trials per goal and theorem formatting","shortMessageHtmlLink":"feat: Handle max trials per goal and theorem formatting"}},{"before":"e6421dafc3190004623a06351ed50a934916e1b5","after":"7b9829e3d2abc82f3732b79256f4f4ddd5987394","ref":"refs/heads/search","pushedAt":"2024-06-05T21:37:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"},"commit":{"message":"feat: Add limit on goal tactic trials","shortMessageHtmlLink":"feat: Add limit on goal tactic trials"}},{"before":"41c172bc47fff3940ab5b915d72e37499c6aea5a","after":"e6421dafc3190004623a06351ed50a934916e1b5","ref":"refs/heads/search","pushedAt":"2024-06-05T21:22:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"},"commit":{"message":"feat: Add control for use valid.jsonl","shortMessageHtmlLink":"feat: Add control for use valid.jsonl"}},{"before":"ce633fecdaefdde3b47ed08638dbcb98fab90956","after":"41c172bc47fff3940ab5b915d72e37499c6aea5a","ref":"refs/heads/search","pushedAt":"2024-06-05T21:20:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"},"commit":{"message":"feat: Add control for use valid.jsonl","shortMessageHtmlLink":"feat: Add control for use valid.jsonl"}},{"before":"4e678c7b97f182cc4f157e4ec6ce605da63a4d67","after":"ce633fecdaefdde3b47ed08638dbcb98fab90956","ref":"refs/heads/search","pushedAt":"2024-06-05T21:19:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"},"commit":{"message":"feat: Add ablation testing","shortMessageHtmlLink":"feat: Add ablation testing"}},{"before":"9c672562a9ccb376e98024115e037b61a5864139","after":"4e678c7b97f182cc4f157e4ec6ce605da63a4d67","ref":"refs/heads/search","pushedAt":"2024-06-05T21:03:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lenianiva","name":"Leni Aniva","path":"/lenianiva","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107011294?s=80&v=4"},"commit":{"message":"feat: Use aesop to solve for goals","shortMessageHtmlLink":"feat: Use aesop to solve for goals"}},{"before":"a5747122cd4971b21b248d2a01c2a59a33159a56","after":"9c672562a9ccb376e98024115e037b61a5864139","ref":"refs/heads/search","pushedAt":"2024-06-05T20:58:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ChuyueSun","name":"Chuyue Sun","path":"/ChuyueSun","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33578456?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"6d60651ed1001c42bb2c926be5247fd66bd0e95f","after":"a5747122cd4971b21b248d2a01c2a59a33159a56","ref":"refs/heads/search","pushedAt":"2024-06-05T20:49:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ChuyueSun","name":"Chuyue Sun","path":"/ChuyueSun","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33578456?s=80&v=4"},"commit":{"message":"new semantic","shortMessageHtmlLink":"new semantic"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xNlQxNDo0OTowMS4wMDAwMDBazwAAAAS3jbB_","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xNlQxNDo0OTowMS4wMDAwMDBazwAAAAS3jbB_","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0wNVQyMDo0OTozNy4wMDAwMDBazwAAAARdjC4y"}},"title":"Activity · lenianiva/PyPantograph"}