{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":634403186,"defaultBranch":"master","name":"EminenceProver","ownerLogin":"James-Oswald","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-04-30T02:09:20.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/43485956?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1683608193.0","currentOid":""},"activityList":{"items":[{"before":"bfcfacfe48e411c5df118e85f8556cca127dc122","after":"7fc606a63e733486190b22a20069bbaa5d324627","ref":"refs/heads/Faux-DCEC","pushedAt":"2023-05-20T01:52:20.634Z","pushType":"push","commitsCount":1,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"Broken Garbage","shortMessageHtmlLink":"Broken Garbage"}},{"before":"10dfc8eabcbb47f4244b153af54fccc7903bb53d","after":"cbabd1baac5ae72eeb104415505015e1b37d091e","ref":"refs/heads/answer_extraction","pushedAt":"2023-05-10T19:04:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Brandon-Rozek","name":"Brandon Rozek","path":"/Brandon-Rozek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30753990?s=80&v=4"},"commit":{"message":"Cleanup","shortMessageHtmlLink":"Cleanup"}},{"before":"79af13b5d4ae78146b102925962fce6e7c923d12","after":"bfcfacfe48e411c5df118e85f8556cca127dc122","ref":"refs/heads/Faux-DCEC","pushedAt":"2023-05-10T08:34:47.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"Final laptop changes","shortMessageHtmlLink":"Final laptop changes"}},{"before":"82df7a34981382e1139f2d5170334dc1a940d453","after":"10dfc8eabcbb47f4244b153af54fccc7903bb53d","ref":"refs/heads/answer_extraction","pushedAt":"2023-05-09T19:23:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Brandon-Rozek","name":"Brandon Rozek","path":"/Brandon-Rozek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30753990?s=80&v=4"},"commit":{"message":"Multiple answers for QA","shortMessageHtmlLink":"Multiple answers for QA"}},{"before":"917b1b6a84f24afcc22a174d2686635e569ecca6","after":"79af13b5d4ae78146b102925962fce6e7c923d12","ref":"refs/heads/Faux-DCEC","pushedAt":"2023-05-09T17:03:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"Research Retreat Morning Expander Work","shortMessageHtmlLink":"Research Retreat Morning Expander Work"}},{"before":"8d55ba526e0ba83c69b23287d8f607896b76a592","after":"82df7a34981382e1139f2d5170334dc1a940d453","ref":"refs/heads/answer_extraction","pushedAt":"2023-05-09T16:21:18.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Brandon-Rozek","name":"Brandon Rozek","path":"/Brandon-Rozek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30753990?s=80&v=4"},"commit":{"message":"Refactored Question into its own class","shortMessageHtmlLink":"Refactored Question into its own class"}},{"before":null,"after":"917b1b6a84f24afcc22a174d2686635e569ecca6","ref":"refs/heads/Faux-DCEC","pushedAt":"2023-05-09T04:18:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"adding broken support for DCEC","shortMessageHtmlLink":"adding broken support for DCEC"}},{"before":null,"after":"8d55ba526e0ba83c69b23287d8f607896b76a592","ref":"refs/heads/answer_extraction","pushedAt":"2023-05-09T03:04:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Brandon-Rozek","name":"Brandon Rozek","path":"/Brandon-Rozek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30753990?s=80&v=4"},"commit":{"message":"First version of question answering","shortMessageHtmlLink":"First version of question answering"}},{"before":"7a907283d2ea6663fa79a3ae07d00170125e08d1","after":"c92ea03064fd5e98e07a7a13fe0b4ca36e112ec6","ref":"refs/heads/gh-pages","pushedAt":"2023-05-08T19:15:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 141dc789baa48bfd7511bc64de4dadc19db23172","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/James-Oswald/EminenceProver/commit/141dc789baa48bfd7511bc64de4dadc19db23172/hovercard\" href=\"https://github.com/James-Oswald/EminenceProver/commit/141dc789baa48bfd7511bc64de4dadc19db23172\"><tt>141dc78</tt></a>"}},{"before":"1f44bd44cf4b9796ce524dff044e507ea034e6fb","after":"141dc789baa48bfd7511bc64de4dadc19db23172","ref":"refs/heads/master","pushedAt":"2023-05-08T19:15:05.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"Rozek CS test","shortMessageHtmlLink":"Rozek CS test"}},{"before":"eddb1b70ca8a9f60cfc9017b9003f1c08ba885b9","after":"7a907283d2ea6663fa79a3ae07d00170125e08d1","ref":"refs/heads/gh-pages","pushedAt":"2023-05-08T18:15:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 1f44bd44cf4b9796ce524dff044e507ea034e6fb","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/James-Oswald/EminenceProver/commit/1f44bd44cf4b9796ce524dff044e507ea034e6fb/hovercard\" href=\"https://github.com/James-Oswald/EminenceProver/commit/1f44bd44cf4b9796ce524dff044e507ea034e6fb\"><tt>1f44bd4</tt></a>"}},{"before":"5caf108b83c00c3d4cf87511a2d34e640389a6de","after":"1f44bd44cf4b9796ce524dff044e507ea034e6fb","ref":"refs/heads/master","pushedAt":"2023-05-08T18:15:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"Debug Vampire subprocess prover","shortMessageHtmlLink":"Debug Vampire subprocess prover"}},{"before":"7a3e7b2b8477627b132bc345f7dc160ce46c5fb3","after":"eddb1b70ca8a9f60cfc9017b9003f1c08ba885b9","ref":"refs/heads/gh-pages","pushedAt":"2023-05-08T09:14:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 5caf108b83c00c3d4cf87511a2d34e640389a6de","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/James-Oswald/EminenceProver/commit/5caf108b83c00c3d4cf87511a2d34e640389a6de/hovercard\" href=\"https://github.com/James-Oswald/EminenceProver/commit/5caf108b83c00c3d4cf87511a2d34e640389a6de\"><tt>5caf108</tt></a>"}},{"before":"bf34295dba451b430113696e296ab6b84b32d6e9","after":"5caf108b83c00c3d4cf87511a2d34e640389a6de","ref":"refs/heads/master","pushedAt":"2023-05-08T09:14:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"Lots o docs","shortMessageHtmlLink":"Lots o docs"}},{"before":null,"after":"7a3e7b2b8477627b132bc345f7dc160ce46c5fb3","ref":"refs/heads/gh-pages","pushedAt":"2023-05-08T07:47:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: bf34295dba451b430113696e296ab6b84b32d6e9","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/James-Oswald/EminenceProver/commit/bf34295dba451b430113696e296ab6b84b32d6e9/hovercard\" href=\"https://github.com/James-Oswald/EminenceProver/commit/bf34295dba451b430113696e296ab6b84b32d6e9\"><tt>bf34295</tt></a>"}},{"before":"9ed18df7a02f1aa7b4ac296cd3276ea038896fae","after":"bf34295dba451b430113696e296ab6b84b32d6e9","ref":"refs/heads/master","pushedAt":"2023-05-08T07:43:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"dot for doxygen","shortMessageHtmlLink":"dot for doxygen"}},{"before":"241bdb55a7693167c7effc79e9857bf7e534af98","after":"9ed18df7a02f1aa7b4ac296cd3276ea038896fae","ref":"refs/heads/master","pushedAt":"2023-05-08T07:24:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"testing vtest release fix","shortMessageHtmlLink":"testing vtest release fix"}},{"before":"2872d333c339236978108c1e2a227bb902d6e734","after":"241bdb55a7693167c7effc79e9857bf7e534af98","ref":"refs/heads/master","pushedAt":"2023-05-08T07:20:48.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"Docs and preliminary actions","shortMessageHtmlLink":"Docs and preliminary actions"}},{"before":"14cd3acea98ae24e1f5ec588d705421309e4a32f","after":"2872d333c339236978108c1e2a227bb902d6e734","ref":"refs/heads/master","pushedAt":"2023-05-04T23:16:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"TPTP Tests passed","shortMessageHtmlLink":"TPTP Tests passed"}},{"before":"8963eb3f0d099b02384c32e39e455afe4755218b","after":"14cd3acea98ae24e1f5ec588d705421309e4a32f","ref":"refs/heads/master","pushedAt":"2023-05-04T22:05:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"Exam edits","shortMessageHtmlLink":"Exam edits"}},{"before":"5fe5fbaa01ebe77771225ba5d6eeadda10d23673","after":"8963eb3f0d099b02384c32e39e455afe4755218b","ref":"refs/heads/master","pushedAt":"2023-05-04T17:59:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"Updated formula testing support","shortMessageHtmlLink":"Updated formula testing support"}},{"before":"4b62fd14b6558ae8430ed6adf86e87ca22a6f544","after":"5fe5fbaa01ebe77771225ba5d6eeadda10d23673","ref":"refs/heads/master","pushedAt":"2023-05-03T17:59:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"Working on TPTP writer","shortMessageHtmlLink":"Working on TPTP writer"}},{"before":"cb2076768b7a33db35d10ed16707567d499776aa","after":"4b62fd14b6558ae8430ed6adf86e87ca22a6f544","ref":"refs/heads/master","pushedAt":"2023-05-03T11:51:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"first steps in vampire integration","shortMessageHtmlLink":"first steps in vampire integration"}},{"before":"48c62711912a834c9411d557d3a1880b191363a4","after":"cb2076768b7a33db35d10ed16707567d499776aa","ref":"refs/heads/master","pushedAt":"2023-05-03T11:07:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"Cursed submodule hell","shortMessageHtmlLink":"Cursed submodule hell"}},{"before":"ed2eea94ca129a4642830fc763fbf91941140feb","after":"48c62711912a834c9411d557d3a1880b191363a4","ref":"refs/heads/master","pushedAt":"2023-05-03T07:00:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"Basic SExpression printing and refactor","shortMessageHtmlLink":"Basic SExpression printing and refactor"}},{"before":"c54b0b4d46dc14a744e09a4a3e998bab46f4d718","after":"ed2eea94ca129a4642830fc763fbf91941140feb","ref":"refs/heads/master","pushedAt":"2023-05-03T01:06:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"Formula Updates","shortMessageHtmlLink":"Formula Updates"}},{"before":"0bf82b5afc0fce505b611470725f432358815d40","after":"c54b0b4d46dc14a744e09a4a3e998bab46f4d718","ref":"refs/heads/master","pushedAt":"2023-05-02T18:04:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"Working on formula class","shortMessageHtmlLink":"Working on formula class"}},{"before":"2be7467a9a2fc3848dbd50270b382c84ef5583f2","after":"0bf82b5afc0fce505b611470725f432358815d40","ref":"refs/heads/master","pushedAt":"2023-05-02T01:48:03.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"Garbage","shortMessageHtmlLink":"Garbage"}},{"before":null,"after":"2be7467a9a2fc3848dbd50270b382c84ef5583f2","ref":"refs/heads/master","pushedAt":"2023-04-30T02:09:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"first commit","shortMessageHtmlLink":"first commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADMImciAA","startCursor":null,"endCursor":null}},"title":"Activity · James-Oswald/EminenceProver"}