{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":63258344,"defaultBranch":"main","name":"ocaml-minisat","ownerLogin":"c-cube","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-07-13T15:34:26.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1274291?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1715007837.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"6bb955b3c525885072eebe3361985ce02509d435","ref":"refs/heads/dune-3.0","pushedAt":"2024-05-06T15:03:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"require dune 3.0","shortMessageHtmlLink":"require dune 3.0"}},{"before":"13d7de17ac7742926ed8c069754e9d36d85a5459","after":"aeb77768d3cd03534ea808a7232c8bd2e78ec396","ref":"refs/heads/main","pushedAt":"2024-02-05T06:31:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"CI","shortMessageHtmlLink":"CI"}},{"before":"13d7de17ac7742926ed8c069754e9d36d85a5459","after":null,"ref":"refs/heads/master","pushedAt":"2024-02-05T06:12:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"}},{"before":null,"after":"13d7de17ac7742926ed8c069754e9d36d85a5459","ref":"refs/heads/main","pushedAt":"2024-02-05T06:12:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"fix stubs (missing camlparam)","shortMessageHtmlLink":"fix stubs (missing camlparam)"}},{"before":"50d88715592272afa9c5c763ef774d291cd21b48","after":"0846d7c901700357f65bb374cb9fb3fe2e44d8d9","ref":"refs/heads/gh-pages","pushedAt":"2023-09-18T14:55:16.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: 13d7de17ac7742926ed8c069754e9d36d85a5459","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/c-cube/ocaml-minisat/commit/13d7de17ac7742926ed8c069754e9d36d85a5459/hovercard\" href=\"https://github.com/c-cube/ocaml-minisat/commit/13d7de17ac7742926ed8c069754e9d36d85a5459\"><tt>13d7de1</tt></a>"}},{"before":"472ef7737bd0ac60098e359d07f2590775ce700a","after":"13d7de17ac7742926ed8c069754e9d36d85a5459","ref":"refs/heads/master","pushedAt":"2023-09-18T14:44:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"fix stubs (missing camlparam)","shortMessageHtmlLink":"fix stubs (missing camlparam)"}},{"before":"3df9fe71efb271670bcf1cfebf236d45ef465eff","after":"472ef7737bd0ac60098e359d07f2590775ce700a","ref":"refs/heads/master","pushedAt":"2023-06-14T15:51:42.917Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"cleanup","shortMessageHtmlLink":"cleanup"}},{"before":"f140c0f7b692b1aa66ac1f3f7514b2484e42f901","after":"3df9fe71efb271670bcf1cfebf236d45ef465eff","ref":"refs/heads/master","pushedAt":"2023-06-14T15:50:31.193Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"readme","shortMessageHtmlLink":"readme"}},{"before":"4cb359c023e0034c469443cdca6e09789f1a888a","after":"50d88715592272afa9c5c763ef774d291cd21b48","ref":"refs/heads/gh-pages","pushedAt":"2023-06-13T16:44:24.397Z","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: 5afbedea11f26448e100cc873e8df287677a8a86","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/c-cube/ocaml-minisat/commit/5afbedea11f26448e100cc873e8df287677a8a86/hovercard\" href=\"https://github.com/c-cube/ocaml-minisat/commit/5afbedea11f26448e100cc873e8df287677a8a86\"><tt>5afbede</tt></a>"}},{"before":"5afbedea11f26448e100cc873e8df287677a8a86","after":"f140c0f7b692b1aa66ac1f3f7514b2484e42f901","ref":"refs/heads/master","pushedAt":"2023-06-13T16:43:05.479Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"prepare for 0.6","shortMessageHtmlLink":"prepare for 0.6"}},{"before":"5afbedea11f26448e100cc873e8df287677a8a86","after":null,"ref":"refs/tags/v0.6","pushedAt":"2023-06-13T16:42:24.302Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"}},{"before":"8aa00b028792883704ede32b1f97c0df76264925","after":"4cb359c023e0034c469443cdca6e09789f1a888a","ref":"refs/heads/gh-pages","pushedAt":"2023-06-13T16:41:22.223Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"update docs","shortMessageHtmlLink":"update docs"}},{"before":"261e096d7f478124d52f62cbeef9168fa1b70ef8","after":"5afbedea11f26448e100cc873e8df287677a8a86","ref":"refs/heads/master","pushedAt":"2023-06-13T16:40:20.585Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"prepare for 0.6","shortMessageHtmlLink":"prepare for 0.6"}},{"before":"261e096d7f478124d52f62cbeef9168fa1b70ef8","after":null,"ref":"refs/tags/v0.6","pushedAt":"2023-06-13T16:39:46.455Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"}},{"before":"49122977ad59ab98adf6aa360990c4b5145e2cc8","after":"8aa00b028792883704ede32b1f97c0df76264925","ref":"refs/heads/gh-pages","pushedAt":"2023-06-13T14:53:46.990Z","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: 261e096d7f478124d52f62cbeef9168fa1b70ef8","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/c-cube/ocaml-minisat/commit/261e096d7f478124d52f62cbeef9168fa1b70ef8/hovercard\" href=\"https://github.com/c-cube/ocaml-minisat/commit/261e096d7f478124d52f62cbeef9168fa1b70ef8\"><tt>261e096</tt></a>"}},{"before":"484a174a15d80947a8885ff8bf10f0e770f257e2","after":"261e096d7f478124d52f62cbeef9168fa1b70ef8","ref":"refs/heads/master","pushedAt":"2023-06-13T14:48:50.303Z","pushType":"push","commitsCount":2,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"prepare for 0.6","shortMessageHtmlLink":"prepare for 0.6"}},{"before":"26590c355fbb22e8b8a44d08eb307e8148d9aec3","after":null,"ref":"refs/tags/v0.6","pushedAt":"2023-06-13T14:39:03.540Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"}},{"before":"e1eebc508a1f29e3c075816740b2a5340389aadb","after":null,"ref":"refs/tags/v0.6","pushedAt":"2023-06-13T14:09:01.766Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"}},{"before":"5f74e0023635e523619ec0bb1c1596303ffac989","after":"49122977ad59ab98adf6aa360990c4b5145e2cc8","ref":"refs/heads/gh-pages","pushedAt":"2023-06-08T15:50:56.184Z","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: 484a174a15d80947a8885ff8bf10f0e770f257e2","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/c-cube/ocaml-minisat/commit/484a174a15d80947a8885ff8bf10f0e770f257e2/hovercard\" href=\"https://github.com/c-cube/ocaml-minisat/commit/484a174a15d80947a8885ff8bf10f0e770f257e2\"><tt>484a174</tt></a>"}},{"before":"c48d259627e88e04896627c6442bebdfbfa8ce75","after":"484a174a15d80947a8885ff8bf10f0e770f257e2","ref":"refs/heads/master","pushedAt":"2023-06-08T15:46:47.987Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"add Lit.apply_sign","shortMessageHtmlLink":"add Lit.apply_sign"}},{"before":"ee9d6d77a2fb2330bab0e5f08d0466bc472e9a09","after":"5f74e0023635e523619ec0bb1c1596303ffac989","ref":"refs/heads/gh-pages","pushedAt":"2023-06-07T19:51:21.147Z","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: fcf4a4fcbd4002e2633126c2f1de2509a76f83fa","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/c-cube/ocaml-minisat/commit/fcf4a4fcbd4002e2633126c2f1de2509a76f83fa/hovercard\" href=\"https://github.com/c-cube/ocaml-minisat/commit/fcf4a4fcbd4002e2633126c2f1de2509a76f83fa\"><tt>fcf4a4f</tt></a>"}},{"before":"fcf4a4fcbd4002e2633126c2f1de2509a76f83fa","after":"c48d259627e88e04896627c6442bebdfbfa8ce75","ref":"refs/heads/master","pushedAt":"2023-06-07T19:47:37.608Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"fix: use modelValue for `value`; remove `level`, add `value_at_level_0`","shortMessageHtmlLink":"fix: use modelValue for <code>value</code>; remove <code>level</code>, add <code>value_at_level_0</code>"}},{"before":"b468821195eed9b6e7b06ed6e9d3d6c00aa04947","after":"fcf4a4fcbd4002e2633126c2f1de2509a76f83fa","ref":"refs/heads/master","pushedAt":"2023-06-07T19:47:09.550Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"remove level, add `value_at_level_0`","shortMessageHtmlLink":"remove level, add <code>value_at_level_0</code>"}},{"before":"81fb877b728e8c34ad42ae79944e3061ef26c363","after":"ee9d6d77a2fb2330bab0e5f08d0466bc472e9a09","ref":"refs/heads/gh-pages","pushedAt":"2023-06-07T19:42:43.650Z","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: b468821195eed9b6e7b06ed6e9d3d6c00aa04947","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/c-cube/ocaml-minisat/commit/b468821195eed9b6e7b06ed6e9d3d6c00aa04947/hovercard\" href=\"https://github.com/c-cube/ocaml-minisat/commit/b468821195eed9b6e7b06ed6e9d3d6c00aa04947\"><tt>b468821</tt></a>"}},{"before":"8176cde78a29d578268f14297484d4044a0914a2","after":"b468821195eed9b6e7b06ed6e9d3d6c00aa04947","ref":"refs/heads/master","pushedAt":"2023-06-07T19:37:58.248Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"add ensure_lit_exists","shortMessageHtmlLink":"add ensure_lit_exists"}},{"before":"a04d74f613699fb236ff6ab55eba71a9125c47ec","after":"8176cde78a29d578268f14297484d4044a0914a2","ref":"refs/heads/master","pushedAt":"2023-06-07T19:14:12.162Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"do not call `simplify` implicitly before `solve`","shortMessageHtmlLink":"do not call <code>simplify</code> implicitly before <code>solve</code>"}},{"before":"11c1e5a905df2b0a8533cfdb0b27e9149977595a","after":"81fb877b728e8c34ad42ae79944e3061ef26c363","ref":"refs/heads/gh-pages","pushedAt":"2023-06-07T15:07:40.809Z","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: a04d74f613699fb236ff6ab55eba71a9125c47ec","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/c-cube/ocaml-minisat/commit/a04d74f613699fb236ff6ab55eba71a9125c47ec/hovercard\" href=\"https://github.com/c-cube/ocaml-minisat/commit/a04d74f613699fb236ff6ab55eba71a9125c47ec\"><tt>a04d74f</tt></a>"}},{"before":"552cc2f1fc4dd890c0597bb28905c5ee4cfd5985","after":"a04d74f613699fb236ff6ab55eba71a9125c47ec","ref":"refs/heads/master","pushedAt":"2023-06-07T15:01:55.883Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"add Lit.hash","shortMessageHtmlLink":"add Lit.hash"}},{"before":"51c230b8e1841b506f60c5b4f061ee3d312f4a47","after":"11c1e5a905df2b0a8533cfdb0b27e9149977595a","ref":"refs/heads/gh-pages","pushedAt":"2023-06-06T20:28:09.730Z","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: 552cc2f1fc4dd890c0597bb28905c5ee4cfd5985","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/c-cube/ocaml-minisat/commit/552cc2f1fc4dd890c0597bb28905c5ee4cfd5985/hovercard\" href=\"https://github.com/c-cube/ocaml-minisat/commit/552cc2f1fc4dd890c0597bb28905c5ee4cfd5985\"><tt>552cc2f</tt></a>"}},{"before":"e280a9eaf584d6f1fffabc57cbd4cea59961e5c5","after":"552cc2f1fc4dd890c0597bb28905c5ee4cfd5985","ref":"refs/heads/master","pushedAt":"2023-06-06T20:22:31.616Z","pushType":"push","commitsCount":2,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"add `level`\n\nalso make it public in minisat, instead of protected.","shortMessageHtmlLink":"add <code>level</code>"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0wNlQxNTowMzo1Ny4wMDAwMDBazwAAAARCp-Uv","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNi0wNlQyMDoyMjozMS42MTY4MTdazwAAAAM8C12r"}},"title":"Activity · c-cube/ocaml-minisat"}