{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":610213668,"defaultBranch":"master","name":"cadical-rs","ownerLogin":"sirandreww","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-03-06T10:21:57.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/49692450?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1678098125.252814","currentOid":""},"activityList":{"items":[{"before":"def632c20365b698b8227d77225e53e27ee6d3cc","after":"af7656062d1dd522f972de5f715ca11d9891c379","ref":"refs/heads/master","pushedAt":"2024-03-27T09:32:50.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"Merge pull request #2 from gn64/master\n\nAdded clone to TO","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2210292046\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sirandreww/cadical-rs/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sirandreww/cadical-rs/pull/2/hovercard\" href=\"https://github.com/sirandreww/cadical-rs/pull/2\">#2</a> from gn64/master"}},{"before":"de098107dcf1ac1675b280c4b734787a944b75e4","after":"def632c20365b698b8227d77225e53e27ee6d3cc","ref":"refs/heads/master","pushedAt":"2024-01-29T19:04:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"Typo","shortMessageHtmlLink":"Typo"}},{"before":"958af492fc6be6d9e5dbe8875b9fb31927c56249","after":"de098107dcf1ac1675b280c4b734787a944b75e4","ref":"refs/heads/master","pushedAt":"2024-01-29T19:02:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"updated readme","shortMessageHtmlLink":"updated readme"}},{"before":"7081082de8abea6a835dc1654f4dbd45031c1b72","after":"958af492fc6be6d9e5dbe8875b9fb31927c56249","ref":"refs/heads/master","pushedAt":"2024-01-24T14:47:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"showed how to change linker","shortMessageHtmlLink":"showed how to change linker"}},{"before":"fd5177fefa375d545109a4eae6b6467d53e6792a","after":"7081082de8abea6a835dc1654f4dbd45031c1b72","ref":"refs/heads/master","pushedAt":"2024-01-24T14:07:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"Added uisng Clang","shortMessageHtmlLink":"Added uisng Clang"}},{"before":"1f18f254c158179807c75ea6b5cef63e2b931db5","after":"fd5177fefa375d545109a4eae6b6467d53e6792a","ref":"refs/heads/master","pushedAt":"2024-01-24T13:14:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"enabled default flags","shortMessageHtmlLink":"enabled default flags"}},{"before":"afb720fb90f991f51053ed330a07964bbd2d9672","after":"1f18f254c158179807c75ea6b5cef63e2b931db5","ref":"refs/heads/master","pushedAt":"2024-01-24T13:07:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"CI change","shortMessageHtmlLink":"CI change"}},{"before":"c59b2446ef7e8e11f4dc34a27d79eb67962eb7f8","after":"afb720fb90f991f51053ed330a07964bbd2d9672","ref":"refs/heads/master","pushedAt":"2024-01-24T13:02:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"Changed build script","shortMessageHtmlLink":"Changed build script"}},{"before":"3d509b59258b2056745b1899c50cccb1cef37969","after":"c59b2446ef7e8e11f4dc34a27d79eb67962eb7f8","ref":"refs/heads/master","pushedAt":"2024-01-24T12:45:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"renamed dir","shortMessageHtmlLink":"renamed dir"}},{"before":"d95f95f033b6ea369bddac040ac249f992cdcefc","after":"3d509b59258b2056745b1899c50cccb1cef37969","ref":"refs/heads/master","pushedAt":"2024-01-24T10:53:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"Updated CI","shortMessageHtmlLink":"Updated CI"}},{"before":"bbbfe91469ad2c9bebdf49799ac92874577af391","after":"d95f95f033b6ea369bddac040ac249f992cdcefc","ref":"refs/heads/master","pushedAt":"2024-01-24T10:32:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"added CI testing on windows","shortMessageHtmlLink":"added CI testing on windows"}},{"before":"eda9d6edeef78bb420661d895c0cd02c497ac625","after":"bbbfe91469ad2c9bebdf49799ac92874577af391","ref":"refs/heads/master","pushedAt":"2024-01-24T10:29:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"fix in CI","shortMessageHtmlLink":"fix in CI"}},{"before":"57da8b32e2e8678c3d9f9bb5f3507eef906c8bd9","after":"eda9d6edeef78bb420661d895c0cd02c497ac625","ref":"refs/heads/master","pushedAt":"2024-01-24T10:19:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"Added CI for testing","shortMessageHtmlLink":"Added CI for testing"}},{"before":"854edfe2ecfa62467e224e3f3011950438d02ba0","after":"57da8b32e2e8678c3d9f9bb5f3507eef906c8bd9","ref":"refs/heads/master","pushedAt":"2024-01-23T00:17:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"Working on compilation with Clang","shortMessageHtmlLink":"Working on compilation with Clang"}},{"before":"d8248e9a290cdde807aece5650a4df99b8f66d21","after":"854edfe2ecfa62467e224e3f3011950438d02ba0","ref":"refs/heads/master","pushedAt":"2024-01-22T22:47:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"Updated build step","shortMessageHtmlLink":"Updated build step"}},{"before":"8556952deb9384f61f515c2ea92a9fb9a850fb44","after":"d8248e9a290cdde807aece5650a4df99b8f66d21","ref":"refs/heads/master","pushedAt":"2024-01-22T22:37:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"added cadical in its entirety","shortMessageHtmlLink":"added cadical in its entirety"}},{"before":"90c4c1ffcec77d9d31ea473d8e5407a2dac8baca","after":"8556952deb9384f61f515c2ea92a9fb9a850fb44","ref":"refs/heads/master","pushedAt":"2024-01-22T22:07:53.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"deleted submodule","shortMessageHtmlLink":"deleted submodule"}},{"before":"a287c817117954de57649e12bbf1f7540f08be31","after":"90c4c1ffcec77d9d31ea473d8e5407a2dac8baca","ref":"refs/heads/master","pushedAt":"2024-01-22T21:11:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"Fixed compilation problems","shortMessageHtmlLink":"Fixed compilation problems"}},{"before":"d14d44f56d4a1e13464bb57e562f9ed5cfd3c386","after":"a287c817117954de57649e12bbf1f7540f08be31","ref":"refs/heads/master","pushedAt":"2024-01-22T19:03:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"updated the build process","shortMessageHtmlLink":"updated the build process"}},{"before":"2f10675ef65066e118f532c04ddcd1a1e3c51f86","after":"d14d44f56d4a1e13464bb57e562f9ed5cfd3c386","ref":"refs/heads/master","pushedAt":"2024-01-22T12:11:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"Added to README","shortMessageHtmlLink":"Added to README"}},{"before":"b9ea043d3f93dfad28a81abc3bf99ba717aa537a","after":"2f10675ef65066e118f532c04ddcd1a1e3c51f86","ref":"refs/heads/master","pushedAt":"2024-01-22T12:08:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"added commit to submodule","shortMessageHtmlLink":"added commit to submodule"}},{"before":"5edc6e7223a19e458f7d0f88d29807658d26c8eb","after":"b9ea043d3f93dfad28a81abc3bf99ba717aa537a","ref":"refs/heads/master","pushedAt":"2024-01-22T12:06:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"added submodule","shortMessageHtmlLink":"added submodule"}},{"before":"b65898198835223e6e5fb37004651f9aed3e15c8","after":"5edc6e7223a19e458f7d0f88d29807658d26c8eb","ref":"refs/heads/master","pushedAt":"2024-01-22T12:03:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"deleted submodule","shortMessageHtmlLink":"deleted submodule"}},{"before":"4baa5a2e31ed0b7a6ce8324e29aad03dc402a01f","after":"b65898198835223e6e5fb37004651f9aed3e15c8","ref":"refs/heads/master","pushedAt":"2023-05-23T14:15:36.690Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"added support for freezing literals","shortMessageHtmlLink":"added support for freezing literals"}},{"before":"c08f63ca2a457ca4ba01d531ce972d8e2303d85d","after":"4baa5a2e31ed0b7a6ce8324e29aad03dc402a01f","ref":"refs/heads/master","pushedAt":"2023-05-14T10:46:03.901Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"added simplify","shortMessageHtmlLink":"added simplify"}},{"before":"a4bb2b6bae6d1b8f190a2d58dce3b33600979658","after":"c08f63ca2a457ca4ba01d531ce972d8e2303d85d","ref":"refs/heads/master","pushedAt":"2023-04-01T21:54:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"changed submodule","shortMessageHtmlLink":"changed submodule"}},{"before":"0886cba4281cdc5ad17c3ae3cdd694ce0c2fea54","after":"a4bb2b6bae6d1b8f190a2d58dce3b33600979658","ref":"refs/heads/master","pushedAt":"2023-04-01T21:52:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"fixed unknown submodule","shortMessageHtmlLink":"fixed unknown submodule"}},{"before":"71f77a786aeb3bd5d11d8402768046a20a448aa6","after":"0886cba4281cdc5ad17c3ae3cdd694ce0c2fea54","ref":"refs/heads/master","pushedAt":"2023-04-01T21:34:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"support for setting seed","shortMessageHtmlLink":"support for setting seed"}},{"before":"7ab5fe12b88cf2abdd74332dd84b98cf09e859b4","after":"71f77a786aeb3bd5d11d8402768046a20a448aa6","ref":"refs/heads/master","pushedAt":"2023-03-11T21:22:16.409Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"fixed value on negative literal, and fixed mutability to match that og the C++ code","shortMessageHtmlLink":"fixed value on negative literal, and fixed mutability to match that o…"}},{"before":"eebd22dd9f1ade99c7b83c5638245e110f4c7741","after":"7ab5fe12b88cf2abdd74332dd84b98cf09e859b4","ref":"refs/heads/master","pushedAt":"2023-03-09T13:42:54.594Z","pushType":"push","commitsCount":1,"pusher":{"login":"sirandreww","name":"Andrew Luka","path":"/sirandreww","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49692450?s=80&v=4"},"commit":{"message":"replaced Iterator with IntoIterator","shortMessageHtmlLink":"replaced Iterator with IntoIterator"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEIIMnJAA","startCursor":null,"endCursor":null}},"title":"Activity · sirandreww/cadical-rs"}