{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":89988381,"defaultBranch":"main","name":"proverbot9001","ownerLogin":"UCSD-PL","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-05-02T03:37:29.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2380474?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1717783284.0","currentOid":""},"activityList":{"items":[{"before":"3e33dbdb02e3efa1c41855d4d69cf908b579d7d9","after":"ab2de9ec4833c963a6721a3260ecd1432bcccf45","ref":"refs/heads/diverse-search-two","pushedAt":"2024-08-06T19:26:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhannakaufma","name":null,"path":"/zhannakaufma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88096854?s=80&v=4"},"commit":{"message":"latest strategy code for Alex to look","shortMessageHtmlLink":"latest strategy code for Alex to look"}},{"before":"e552bd815579d3b424bbb226e1826b0ab76c831f","after":"3e33dbdb02e3efa1c41855d4d69cf908b579d7d9","ref":"refs/heads/diverse-search-two","pushedAt":"2024-07-24T23:17:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhannakaufma","name":null,"path":"/zhannakaufma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88096854?s=80&v=4"},"commit":{"message":"search strategies before removing redundancy","shortMessageHtmlLink":"search strategies before removing redundancy"}},{"before":"03275eec2054affe916d84f411fd488db8d3dca4","after":"e552bd815579d3b424bbb226e1826b0ab76c831f","ref":"refs/heads/diverse-search-two","pushedAt":"2024-07-02T19:30:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhannakaufma","name":null,"path":"/zhannakaufma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88096854?s=80&v=4"},"commit":{"message":"latest rnn search strategy","shortMessageHtmlLink":"latest rnn search strategy"}},{"before":"ac3b9a2628d10c5364c675759017cbfa7321ad80","after":"8eb7800e54843c6f4f9261963c5c8404e4ed9841","ref":"refs/heads/qedcartographer","pushedAt":"2024-07-02T17:16:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HazardousPeach","name":"Alex Sanchez-Stern","path":"/HazardousPeach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1854619?s=80&v=4"},"commit":{"message":"Fix a bunch of warnings in dataloader","shortMessageHtmlLink":"Fix a bunch of warnings in dataloader"}},{"before":"46110282b2d650cfd03ab104461ef6c95b17cd70","after":"03275eec2054affe916d84f411fd488db8d3dca4","ref":"refs/heads/diverse-search-two","pushedAt":"2024-06-20T22:00:42.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"HazardousPeach","name":"Alex Sanchez-Stern","path":"/HazardousPeach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1854619?s=80&v=4"},"commit":{"message":"Strip unicode from static report outputs","shortMessageHtmlLink":"Strip unicode from static report outputs"}},{"before":"3273fce961c1d23efec38485408d1a883fe167e6","after":"ac3b9a2628d10c5364c675759017cbfa7321ad80","ref":"refs/heads/qedcartographer","pushedAt":"2024-06-20T21:58:06.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"HazardousPeach","name":"Alex Sanchez-Stern","path":"/HazardousPeach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1854619?s=80&v=4"},"commit":{"message":"Strip unicode from static report outputs","shortMessageHtmlLink":"Strip unicode from static report outputs"}},{"before":"e242bc7d03f3b7a8913c35b332043259f254b019","after":"46110282b2d650cfd03ab104461ef6c95b17cd70","ref":"refs/heads/diverse-search-two","pushedAt":"2024-06-20T21:08:01.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"HazardousPeach","name":"Alex Sanchez-Stern","path":"/HazardousPeach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1854619?s=80&v=4"},"commit":{"message":"Handle no goals properly in static report","shortMessageHtmlLink":"Handle no goals properly in static report"}},{"before":"1047c5e87623afc15fb619beb3fe3ebef96e9c7c","after":"3273fce961c1d23efec38485408d1a883fe167e6","ref":"refs/heads/qedcartographer","pushedAt":"2024-06-20T21:00:07.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"HazardousPeach","name":"Alex Sanchez-Stern","path":"/HazardousPeach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1854619?s=80&v=4"},"commit":{"message":"Handle no goals properly in static report","shortMessageHtmlLink":"Handle no goals properly in static report"}},{"before":"9265a5ea8fabfecc7c09a9077bd37b484d862443","after":"1047c5e87623afc15fb619beb3fe3ebef96e9c7c","ref":"refs/heads/qedcartographer","pushedAt":"2024-06-20T20:41:22.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"HazardousPeach","name":"Alex Sanchez-Stern","path":"/HazardousPeach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1854619?s=80&v=4"},"commit":{"message":"Fix static report for modern proverbot","shortMessageHtmlLink":"Fix static report for modern proverbot"}},{"before":"b8a969ebbd80cf54b9f92b12c315eaf375dd5902","after":"e242bc7d03f3b7a8913c35b332043259f254b019","ref":"refs/heads/diverse-search-two","pushedAt":"2024-06-20T17:40:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhannakaufma","name":null,"path":"/zhannakaufma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88096854?s=80&v=4"},"commit":{"message":"added files to check for inconsistencies, issues are with proverbot9001.py","shortMessageHtmlLink":"added files to check for inconsistencies, issues are with proverbot90…"}},{"before":null,"after":"709ef12178f945b2b8b26b780bbad91cfed5e635","ref":"refs/heads/petanque_backend","pushedAt":"2024-06-07T18:01:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"HazardousPeach","name":"Alex Sanchez-Stern","path":"/HazardousPeach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1854619?s=80&v=4"},"commit":{"message":"Mark regex strings as regexs in many places","shortMessageHtmlLink":"Mark regex strings as regexs in many places"}},{"before":"148d6c75a68e667e52922d46778933c85b10dade","after":"9265a5ea8fabfecc7c09a9077bd37b484d862443","ref":"refs/heads/qedcartographer","pushedAt":"2024-06-05T20:46:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HazardousPeach","name":"Alex Sanchez-Stern","path":"/HazardousPeach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1854619?s=80&v=4"},"commit":{"message":"Add flag to not draw search graphs","shortMessageHtmlLink":"Add flag to not draw search graphs"}},{"before":"d9e6f67b5dd17e70db780320a546bf8bc1d54940","after":"148d6c75a68e667e52922d46778933c85b10dade","ref":"refs/heads/qedcartographer","pushedAt":"2024-06-05T19:59:07.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"HazardousPeach","name":"Alex Sanchez-Stern","path":"/HazardousPeach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1854619?s=80&v=4"},"commit":{"message":"Add script for combining astactic-style json result files","shortMessageHtmlLink":"Add script for combining astactic-style json result files"}},{"before":"4bc3c9499e5a14e902121616cf9dacfd1cba61cb","after":"d9e6f67b5dd17e70db780320a546bf8bc1d54940","ref":"refs/heads/qedcartographer","pushedAt":"2024-06-04T16:49:43.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"HazardousPeach","name":"Alex Sanchez-Stern","path":"/HazardousPeach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1854619?s=80&v=4"},"commit":{"message":"Slightly newer comparison","shortMessageHtmlLink":"Slightly newer comparison"}},{"before":"d32d36f1fc835aac79414d68e540cb5aca24f3eb","after":"4bc3c9499e5a14e902121616cf9dacfd1cba61cb","ref":"refs/heads/qedcartographer","pushedAt":"2024-05-31T19:19:45.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"HazardousPeach","name":"Alex Sanchez-Stern","path":"/HazardousPeach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1854619?s=80&v=4"},"commit":{"message":"Remove old import from before lambdelphi branch split","shortMessageHtmlLink":"Remove old import from before lambdelphi branch split"}},{"before":"7a13fb93e0f10f40f25466ef1c5c7a20b3878870","after":"b8a969ebbd80cf54b9f92b12c315eaf375dd5902","ref":"refs/heads/diverse-search-two","pushedAt":"2024-05-28T16:56:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhannakaufma","name":null,"path":"/zhannakaufma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88096854?s=80&v=4"},"commit":{"message":"the RNN meta model","shortMessageHtmlLink":"the RNN meta model"}},{"before":"bbe9c453ed524d655d24d28ab2c64d1bd3f34280","after":"749d3e58a45a3c3a6c7f25e76a1ff643e47ba2ec","ref":"refs/heads/develop","pushedAt":"2024-05-22T20:51:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HazardousPeach","name":"Alex Sanchez-Stern","path":"/HazardousPeach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1854619?s=80&v=4"},"commit":{"message":"Oops fixed typo in wrong direction","shortMessageHtmlLink":"Oops fixed typo in wrong direction"}},{"before":"87dfe93343186e1f283cd86a04db4e3eb33c974a","after":"d32d36f1fc835aac79414d68e540cb5aca24f3eb","ref":"refs/heads/qedcartographer","pushedAt":"2024-05-22T20:50:22.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"HazardousPeach","name":"Alex Sanchez-Stern","path":"/HazardousPeach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1854619?s=80&v=4"},"commit":{"message":"Break lines on a comment","shortMessageHtmlLink":"Break lines on a comment"}},{"before":"97e84df220b21a434cfa6a844398983b1f0882ab","after":"bbe9c453ed524d655d24d28ab2c64d1bd3f34280","ref":"refs/heads/develop","pushedAt":"2024-05-22T20:47:07.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"HazardousPeach","name":"Alex Sanchez-Stern","path":"/HazardousPeach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1854619?s=80&v=4"},"commit":{"message":"Break lines on a comment","shortMessageHtmlLink":"Break lines on a comment"}},{"before":"271587e76f62bad09a347181d84e0bf6e596cf0a","after":"97e84df220b21a434cfa6a844398983b1f0882ab","ref":"refs/heads/develop","pushedAt":"2024-05-20T15:15:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"HazardousPeach","name":"Alex Sanchez-Stern","path":"/HazardousPeach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1854619?s=80&v=4"},"commit":{"message":"Fix typo in unique_lemma_stmt_and_name","shortMessageHtmlLink":"Fix typo in unique_lemma_stmt_and_name"}},{"before":"67af369e09d6fcbce27ba444b18decedd1ca2683","after":"87dfe93343186e1f283cd86a04db4e3eb33c974a","ref":"refs/heads/qedcartographer","pushedAt":"2024-05-20T07:04:54.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"zhannakaufma","name":null,"path":"/zhannakaufma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88096854?s=80&v=4"},"commit":{"message":"fixed apostraphe not being included in name ending match","shortMessageHtmlLink":"fixed apostraphe not being included in name ending match"}},{"before":"746d262985d34a71db564a85c82ce58ba1e64169","after":"271587e76f62bad09a347181d84e0bf6e596cf0a","ref":"refs/heads/develop","pushedAt":"2024-05-16T19:51:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HazardousPeach","name":"Alex Sanchez-Stern","path":"/HazardousPeach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1854619?s=80&v=4"},"commit":{"message":"Make sure proofs always start with a \"Proof\" command during search","shortMessageHtmlLink":"Make sure proofs always start with a \"Proof\" command during search"}},{"before":"3e7f915d46ecd89b1fa6ad37f016936622020e78","after":"eea988fd775af1dfff2caa645b68b3b6641c888f","ref":"refs/heads/main","pushedAt":"2024-05-16T19:50:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HazardousPeach","name":"Alex Sanchez-Stern","path":"/HazardousPeach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1854619?s=80&v=4"},"commit":{"message":"Make sure proofs always start with a \"Proof\" command during search","shortMessageHtmlLink":"Make sure proofs always start with a \"Proof\" command during search"}},{"before":"c54afbd79ca78471ad243d0adfeb2d3c0f5f6d2a","after":"67af369e09d6fcbce27ba444b18decedd1ca2683","ref":"refs/heads/qedcartographer","pushedAt":"2024-05-16T19:49:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HazardousPeach","name":"Alex Sanchez-Stern","path":"/HazardousPeach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1854619?s=80&v=4"},"commit":{"message":"Make sure proofs always start with a \"Proof\" command during search","shortMessageHtmlLink":"Make sure proofs always start with a \"Proof\" command during search"}},{"before":"0ffda408285eb53125d0bb6e8b9c8ce14d8ecc0d","after":"c54afbd79ca78471ad243d0adfeb2d3c0f5f6d2a","ref":"refs/heads/qedcartographer","pushedAt":"2024-05-14T23:00:45.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"HazardousPeach","name":"Alex Sanchez-Stern","path":"/HazardousPeach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1854619?s=80&v=4"},"commit":{"message":"Pull in coq_serapy bugfix","shortMessageHtmlLink":"Pull in coq_serapy bugfix"}},{"before":"7110609d0d475064737bb74e17f1f3185abf4fdc","after":"0ffda408285eb53125d0bb6e8b9c8ce14d8ecc0d","ref":"refs/heads/qedcartographer","pushedAt":"2024-05-14T22:43:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HazardousPeach","name":"Alex Sanchez-Stern","path":"/HazardousPeach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1854619?s=80&v=4"},"commit":{"message":"Downgrade zorns-lemma version to match CoqGym","shortMessageHtmlLink":"Downgrade zorns-lemma version to match CoqGym"}},{"before":"7b6485cb319fbab6a628c58054cab49002d41b2e","after":"7a13fb93e0f10f40f25466ef1c5c7a20b3878870","ref":"refs/heads/diverse-search-two","pushedAt":"2024-05-10T17:35:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhannakaufma","name":null,"path":"/zhannakaufma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88096854?s=80&v=4"},"commit":{"message":"latest proverbot","shortMessageHtmlLink":"latest proverbot"}},{"before":"e6793b1a6006844867b736dfb2fa41c095c85a21","after":"7110609d0d475064737bb74e17f1f3185abf4fdc","ref":"refs/heads/qedcartographer","pushedAt":"2024-05-07T22:28:16.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"HazardousPeach","name":"Alex Sanchez-Stern","path":"/HazardousPeach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1854619?s=80&v=4"},"commit":{"message":"Recognized unnamed theorems more robustly","shortMessageHtmlLink":"Recognized unnamed theorems more robustly"}},{"before":"720458afd0c105dbb90fcf55fb403c39112ea3ea","after":"e6793b1a6006844867b736dfb2fa41c095c85a21","ref":"refs/heads/qedcartographer","pushedAt":"2024-05-06T16:09:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HazardousPeach","name":"Alex Sanchez-Stern","path":"/HazardousPeach","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1854619?s=80&v=4"},"commit":{"message":"Latest fixes to emily comparison script","shortMessageHtmlLink":"Latest fixes to emily comparison script"}},{"before":"ebbe6f6bdb4f2716ada2b61880cc97bf645445e9","after":"7b6485cb319fbab6a628c58054cab49002d41b2e","ref":"refs/heads/diverse-search-two","pushedAt":"2024-05-03T17:12:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhannakaufma","name":null,"path":"/zhannakaufma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88096854?s=80&v=4"},"commit":{"message":"proverbot data collection code","shortMessageHtmlLink":"proverbot data collection code"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEk3VVeAA","startCursor":null,"endCursor":null}},"title":"Activity · UCSD-PL/proverbot9001"}