{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":603747921,"defaultBranch":"main","name":"microkanren","ownerLogin":"jams2","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-02-19T13:15:29.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/29293125?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1705269258.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"6a6660d695084e50322a72f4f23229c386adaa72","ref":"refs/heads/tabling","pushedAt":"2024-01-14T21:54:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Tabling attempt","shortMessageHtmlLink":"Tabling attempt"}},{"before":"a1fe7b1be797af93b8baa7b2e792b75700212066","after":"ed31e32b2058a344d4c99d9a0215612dcb7700ce","ref":"refs/heads/main","pushedAt":"2023-10-25T13:42:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Bump version → 0.4.4","shortMessageHtmlLink":"Bump version → 0.4.4"}},{"before":"b9b3b06dd229b4032ca389dff71b204c2ab79dcc","after":null,"ref":"refs/heads/fix/var-reification","pushedAt":"2023-10-25T13:40:52.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"}},{"before":"c058c157e8d768e386c4019b823544b1a87267c9","after":"a1fe7b1be797af93b8baa7b2e792b75700212066","ref":"refs/heads/main","pushedAt":"2023-10-25T13:40:48.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Merge pull request #12 from jams2/fix/var-reification\n\nFix reification of fresh logic vars","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1961454826\" data-permission-text=\"Title is private\" data-url=\"https://github.com/jams2/microkanren/issues/12\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/jams2/microkanren/pull/12/hovercard\" href=\"https://github.com/jams2/microkanren/pull/12\">#12</a> from jams2/fix/var-reification"}},{"before":null,"after":"b9b3b06dd229b4032ca389dff71b204c2ab79dcc","ref":"refs/heads/fix/var-reification","pushedAt":"2023-10-25T13:37:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Fix reification of fresh logic vars","shortMessageHtmlLink":"Fix reification of fresh logic vars"}},{"before":"d5873ae08db1f14b71a38ac2c2cf5bb3def11d03","after":null,"ref":"refs/heads/chore/update-ruff","pushedAt":"2023-10-25T08:32:58.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"}},{"before":"174ac6e6210a645b8fdbb5542c975065852ced85","after":"c058c157e8d768e386c4019b823544b1a87267c9","ref":"refs/heads/main","pushedAt":"2023-10-25T08:32:54.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Merge pull request #11 from jams2/chore/update-ruff\n\nUpdate ruff to use the new formatter","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1960844961\" data-permission-text=\"Title is private\" data-url=\"https://github.com/jams2/microkanren/issues/11\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/jams2/microkanren/pull/11/hovercard\" href=\"https://github.com/jams2/microkanren/pull/11\">#11</a> from jams2/chore/update-ruff"}},{"before":null,"after":"d5873ae08db1f14b71a38ac2c2cf5bb3def11d03","ref":"refs/heads/chore/update-ruff","pushedAt":"2023-10-25T08:30:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Update ruff to use the new formatter","shortMessageHtmlLink":"Update ruff to use the new formatter"}},{"before":"a92c2770c48a167cd646e9dbeb71d7bf8ab55e1d","after":"174ac6e6210a645b8fdbb5542c975065852ced85","ref":"refs/heads/main","pushedAt":"2023-10-20T08:29:59.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Fix publish workflow, bump → 0.4.3","shortMessageHtmlLink":"Fix publish workflow, bump → 0.4.3"}},{"before":"acd863b040f4f2bc4f36375fa2d223c06002f8ce","after":"a92c2770c48a167cd646e9dbeb71d7bf8ab55e1d","ref":"refs/heads/main","pushedAt":"2023-10-20T08:28:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Fix publish workflow, bump → 0.4.3","shortMessageHtmlLink":"Fix publish workflow, bump → 0.4.3"}},{"before":"a6db13cf062c2a6b98e0acdc7b4aa7e6cbb01820","after":"acd863b040f4f2bc4f36375fa2d223c06002f8ce","ref":"refs/heads/main","pushedAt":"2023-10-20T08:24:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Bump version → 0.4.2","shortMessageHtmlLink":"Bump version → 0.4.2"}},{"before":"93e7cf7525d1ac33f0ef879ef32fead100871d25","after":null,"ref":"refs/heads/ci","pushedAt":"2023-10-20T08:19:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"}},{"before":"899e874a15f348e0a09c2dac443c78d7dc3e796e","after":"a6db13cf062c2a6b98e0acdc7b4aa7e6cbb01820","ref":"refs/heads/main","pushedAt":"2023-10-20T08:19:50.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Merge pull request #10 from jams2/ci\n\nAdd CI config","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1952788185\" data-permission-text=\"Title is private\" data-url=\"https://github.com/jams2/microkanren/issues/10\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/jams2/microkanren/pull/10/hovercard\" href=\"https://github.com/jams2/microkanren/pull/10\">#10</a> from jams2/ci"}},{"before":"fc15cd987cd60face3c4720b725c27d3ff0fddcd","after":"93e7cf7525d1ac33f0ef879ef32fead100871d25","ref":"refs/heads/ci","pushedAt":"2023-10-20T07:55:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Update changelog","shortMessageHtmlLink":"Update changelog"}},{"before":"5049e8aa983c944aba14e0491f4aa0c4932a6ba7","after":"fc15cd987cd60face3c4720b725c27d3ff0fddcd","ref":"refs/heads/ci","pushedAt":"2023-10-20T07:51:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Add publish workflow","shortMessageHtmlLink":"Add publish workflow"}},{"before":"0517524ef77581a789a37eec35db50d5d5058538","after":"5049e8aa983c944aba14e0491f4aa0c4932a6ba7","ref":"refs/heads/ci","pushedAt":"2023-10-19T18:04:43.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Add GitHub actions config","shortMessageHtmlLink":"Add GitHub actions config"}},{"before":"58bd50247228fa777a53ce52e0ef7cb92bfd68b0","after":"0517524ef77581a789a37eec35db50d5d5058538","ref":"refs/heads/ci","pushedAt":"2023-10-19T17:58:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Add GitHub actions config","shortMessageHtmlLink":"Add GitHub actions config"}},{"before":null,"after":"58bd50247228fa777a53ce52e0ef7cb92bfd68b0","ref":"refs/heads/ci","pushedAt":"2023-10-19T17:56:39.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Add GitHub actions config","shortMessageHtmlLink":"Add GitHub actions config"}},{"before":"2d7889e3df575d227e3fbd70a4a9c8c188f9ea88","after":"899e874a15f348e0a09c2dac443c78d7dc3e796e","ref":"refs/heads/main","pushedAt":"2023-10-19T11:17:03.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Merge pull request #9 from jams2/fix/interleaving\n\nFix examples in readme","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1951945223\" data-permission-text=\"Title is private\" data-url=\"https://github.com/jams2/microkanren/issues/9\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/jams2/microkanren/pull/9/hovercard\" href=\"https://github.com/jams2/microkanren/pull/9\">#9</a> from jams2/fix/interleaving"}},{"before":"c9ad70d76c891e792b232305e703cb5dd721d438","after":"f3fd869eea2dd5f6fd416929b12d3c09055863c2","ref":"refs/heads/fix/interleaving","pushedAt":"2023-10-19T11:16:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Fix examples in readme","shortMessageHtmlLink":"Fix examples in readme"}},{"before":"d18000148e775438b3415f220d432602a5da08d6","after":"2d7889e3df575d227e3fbd70a4a9c8c188f9ea88","ref":"refs/heads/main","pushedAt":"2023-10-19T11:14:29.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Merge pull request #8 from jams2/fix/interleaving\n\nFix the ordering of goals in disj","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1951924012\" data-permission-text=\"Title is private\" data-url=\"https://github.com/jams2/microkanren/issues/8\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/jams2/microkanren/pull/8/hovercard\" href=\"https://github.com/jams2/microkanren/pull/8\">#8</a> from jams2/fix/interleaving"}},{"before":"bf1749a4cb400c6461d90bac398bc60db4232175","after":"c9ad70d76c891e792b232305e703cb5dd721d438","ref":"refs/heads/fix/interleaving","pushedAt":"2023-10-19T11:12:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Update changelog","shortMessageHtmlLink":"Update changelog"}},{"before":null,"after":"bf1749a4cb400c6461d90bac398bc60db4232175","ref":"refs/heads/fix/interleaving","pushedAt":"2023-10-19T11:09:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Fix the ordering of goals in disj","shortMessageHtmlLink":"Fix the ordering of goals in disj"}},{"before":"9d9396be0f91e85a9c74c1211c8daa727b9e1e28","after":null,"ref":"refs/heads/feature/python3.12","pushedAt":"2023-10-05T21:01:45.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"}},{"before":"19c6a5ade81ddf03db619a74ebe51ed80d53a415","after":"d18000148e775438b3415f220d432602a5da08d6","ref":"refs/heads/main","pushedAt":"2023-10-05T20:59:27.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Merge pull request #6 from jams2/feature/python3.12\n\nAdd Python 3.12 support, bump fastcons","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1929045462\" data-permission-text=\"Title is private\" data-url=\"https://github.com/jams2/microkanren/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/jams2/microkanren/pull/6/hovercard\" href=\"https://github.com/jams2/microkanren/pull/6\">#6</a> from jams2/feature/python3.12"}},{"before":null,"after":"9d9396be0f91e85a9c74c1211c8daa727b9e1e28","ref":"refs/heads/feature/python3.12","pushedAt":"2023-10-05T20:59:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Add Python 3.12 support, bump fastcons","shortMessageHtmlLink":"Add Python 3.12 support, bump fastcons"}},{"before":"09ba9661fb6b58f7bda49fcfb8dc2abe627bf7e6","after":"fe5dc836d24ae947323718d1851327d484e3df9f","ref":"refs/heads/c-extension","pushedAt":"2023-05-16T20:51:22.076Z","pushType":"push","commitsCount":1,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Add EqGoal, DisjGoal, ConjGoal, FreshGoal","shortMessageHtmlLink":"Add EqGoal, DisjGoal, ConjGoal, FreshGoal"}},{"before":null,"after":"09ba9661fb6b58f7bda49fcfb8dc2abe627bf7e6","ref":"refs/heads/c-extension","pushedAt":"2023-05-16T15:43:46.467Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Add mkcore_module, base Goal type","shortMessageHtmlLink":"Add mkcore_module, base Goal type"}},{"before":"3769ab1b6f82605b0d916421c37db42c27b30035","after":"af40f0f15f82c9c7a3072f93322e744c0ce13620","ref":"refs/heads/extension-module","pushedAt":"2023-05-16T15:40:13.432Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Remove previous mkcoremodule","shortMessageHtmlLink":"Remove previous mkcoremodule"}},{"before":"a2b33eb7232e825b2c98aacede27e215a744d8b4","after":"19c6a5ade81ddf03db619a74ebe51ed80d53a415","ref":"refs/heads/main","pushedAt":"2023-05-02T20:55:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jams2","name":"Joshua Munn","path":"/jams2","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29293125?s=80&v=4"},"commit":{"message":"Bump fastcons dependency","shortMessageHtmlLink":"Bump fastcons dependency"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD34ewxAA","startCursor":null,"endCursor":null}},"title":"Activity · jams2/microkanren"}