{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":90862514,"defaultBranch":"main","name":"ocaml-alg","ownerLogin":"smimram","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-05-10T12:37:16.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2012073?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1708595692.0","currentOid":""},"activityList":{"items":[{"before":"024fce9c5ee5c04994979f1ce4440413562c3a32","after":"3905b52a90bc6ac7c91054e1f961b8685b77a30a","ref":"refs/heads/main","pushedAt":"2024-03-13T15:50:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"smimram","name":"Samuel Mimram","path":"/smimram","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2012073?s=80&v=4"},"commit":{"message":"Doc.","shortMessageHtmlLink":"Doc."}},{"before":"77baf8e73c66b6e795e1286a677a87a14bbe17e3","after":"024fce9c5ee5c04994979f1ce4440413562c3a32","ref":"refs/heads/main","pushedAt":"2024-02-23T10:29:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"smimram","name":"Samuel Mimram","path":"/smimram","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2012073?s=80&v=4"},"commit":{"message":"ol.","shortMessageHtmlLink":"ol."}},{"before":"3405bec2567e42cba302e348fa000e746224a57c","after":"77baf8e73c66b6e795e1286a677a87a14bbe17e3","ref":"refs/heads/main","pushedAt":"2024-02-22T11:31:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"smimram","name":"Samuel Mimram","path":"/smimram","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2012073?s=80&v=4"},"commit":{"message":"Correct display.","shortMessageHtmlLink":"Correct display."}},{"before":"81e505690d324ed673668b974498d753a4a88eae","after":"3405bec2567e42cba302e348fa000e746224a57c","ref":"refs/heads/main","pushedAt":"2024-02-22T11:29:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"smimram","name":"Samuel Mimram","path":"/smimram","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2012073?s=80&v=4"},"commit":{"message":"Show coherence cells.","shortMessageHtmlLink":"Show coherence cells."}},{"before":"a735a03990355364a7c2c1241a1d9b975fe12620","after":"81e505690d324ed673668b974498d753a4a88eae","ref":"refs/heads/main","pushedAt":"2024-02-22T11:18:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"smimram","name":"Samuel Mimram","path":"/smimram","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2012073?s=80&v=4"},"commit":{"message":"Add here too.","shortMessageHtmlLink":"Add here too."}},{"before":"4cad2269c122589d880b8b3d8dd06818b0cd89a9","after":"a735a03990355364a7c2c1241a1d9b975fe12620","ref":"refs/heads/main","pushedAt":"2024-02-22T11:16:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"smimram","name":"Samuel Mimram","path":"/smimram","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2012073?s=80&v=4"},"commit":{"message":"Add dihedral group.","shortMessageHtmlLink":"Add dihedral group."}},{"before":"fe2246fd0c4338f20954a8a29014d2340d997506","after":"4cad2269c122589d880b8b3d8dd06818b0cd89a9","ref":"refs/heads/main","pushedAt":"2024-02-22T11:06:13.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"smimram","name":"Samuel Mimram","path":"/smimram","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2012073?s=80&v=4"},"commit":{"message":"Define zigzags.","shortMessageHtmlLink":"Define zigzags."}},{"before":"f74bf55ce521ae9587c167904e2ddf5b3ac72e55","after":"fe2246fd0c4338f20954a8a29014d2340d997506","ref":"refs/heads/main","pushedAt":"2024-02-22T10:21:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"smimram","name":"Samuel Mimram","path":"/smimram","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2012073?s=80&v=4"},"commit":{"message":"Rule names.","shortMessageHtmlLink":"Rule names."}},{"before":"e0081649545eddfa51e357a40b79276e0a5f98fe","after":"f74bf55ce521ae9587c167904e2ddf5b3ac72e55","ref":"refs/heads/main","pushedAt":"2024-02-22T10:12:45.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"smimram","name":"Samuel Mimram","path":"/smimram","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2012073?s=80&v=4"},"commit":{"message":"Default namer.","shortMessageHtmlLink":"Default namer."}},{"before":"3a30933d7fcb41e513b191bc47e25ee986310532","after":"e0081649545eddfa51e357a40b79276e0a5f98fe","ref":"refs/heads/main","pushedAt":"2024-02-22T09:57:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"smimram","name":"Samuel Mimram","path":"/smimram","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2012073?s=80&v=4"},"commit":{"message":"Named rules.","shortMessageHtmlLink":"Named rules."}},{"before":"f91ba630eb26f7255296e1e71559577c326b44cb","after":"3a30933d7fcb41e513b191bc47e25ee986310532","ref":"refs/heads/main","pushedAt":"2024-02-22T09:55:01.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"smimram","name":"Samuel Mimram","path":"/smimram","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2012073?s=80&v=4"},"commit":{"message":"Coherence cells.","shortMessageHtmlLink":"Coherence cells."}},{"before":null,"after":"e0081649545eddfa51e357a40b79276e0a5f98fe","ref":"refs/heads/named-rules","pushedAt":"2024-02-22T09:54:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"smimram","name":"Samuel Mimram","path":"/smimram","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2012073?s=80&v=4"},"commit":{"message":"Named rules.","shortMessageHtmlLink":"Named rules."}},{"before":"91b7dd4db6eb96424e294a7da9a6105551d131f8","after":"f91ba630eb26f7255296e1e71559577c326b44cb","ref":"refs/heads/main","pushedAt":"2024-02-06T10:00:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"smimram","name":"Samuel Mimram","path":"/smimram","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2012073?s=80&v=4"},"commit":{"message":"Letter names.","shortMessageHtmlLink":"Letter names."}},{"before":"76e13025f58bec672062210dc60631f27bbc1795","after":"91b7dd4db6eb96424e294a7da9a6105551d131f8","ref":"refs/heads/main","pushedAt":"2024-02-05T19:30:34.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"smimram","name":"Samuel Mimram","path":"/smimram","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2012073?s=80&v=4"},"commit":{"message":"Dihedral.","shortMessageHtmlLink":"Dihedral."}},{"before":"36a650a1386eaae248b3cdd0177c7c20c724e6c8","after":"76e13025f58bec672062210dc60631f27bbc1795","ref":"refs/heads/main","pushedAt":"2023-12-22T10:19:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"smimram","name":"Samuel Mimram","path":"/smimram","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2012073?s=80&v=4"},"commit":{"message":"Quaternion group.","shortMessageHtmlLink":"Quaternion group."}},{"before":"cdaec58648cbe72d594c19271ca418203ad4b2b1","after":"36a650a1386eaae248b3cdd0177c7c20c724e6c8","ref":"refs/heads/main","pushedAt":"2023-12-13T15:49:36.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"smimram","name":"Samuel Mimram","path":"/smimram","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2012073?s=80&v=4"},"commit":{"message":"Cleanly handle self matches.","shortMessageHtmlLink":"Cleanly handle self matches."}},{"before":"3404516c925fa4235d98e6f6f5b48f05181ee876","after":"cdaec58648cbe72d594c19271ca418203ad4b2b1","ref":"refs/heads/main","pushedAt":"2023-12-13T15:36:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"smimram","name":"Samuel Mimram","path":"/smimram","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2012073?s=80&v=4"},"commit":{"message":"More on quaternions.","shortMessageHtmlLink":"More on quaternions."}},{"before":"8e9e6689ac81a62da3e2ec04e8bfeb11a0f7a246","after":"3404516c925fa4235d98e6f6f5b48f05181ee876","ref":"refs/heads/main","pushedAt":"2023-12-05T14:07:48.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"smimram","name":"Samuel Mimram","path":"/smimram","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2012073?s=80&v=4"},"commit":{"message":"Quaternions.","shortMessageHtmlLink":"Quaternions."}},{"before":"31842c0e89efe400720d4abc795ee03e65ea777c","after":"8e9e6689ac81a62da3e2ec04e8bfeb11a0f7a246","ref":"refs/heads/main","pushedAt":"2023-12-05T10:34:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"smimram","name":"Samuel Mimram","path":"/smimram","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2012073?s=80&v=4"},"commit":{"message":"Critical branchings.","shortMessageHtmlLink":"Critical branchings."}},{"before":"6b92c930e623d29608925035d6307356ff23db4a","after":"31842c0e89efe400720d4abc795ee03e65ea777c","ref":"refs/heads/main","pushedAt":"2023-12-05T09:40:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"smimram","name":"Samuel Mimram","path":"/smimram","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2012073?s=80&v=4"},"commit":{"message":"Newer docs upload.","shortMessageHtmlLink":"Newer docs upload."}},{"before":"a10ee48e20337ce6e010feb1ce61fa1fa1f34aba","after":"d7706a40c878c02a67b76a39c42c187c4a380320","ref":"refs/heads/gh-pages","pushedAt":"2023-11-22T15:31: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: 415e19b41a1bb4b94a30a5296b254230c3fa5d17","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/smimram/ocaml-alg/commit/415e19b41a1bb4b94a30a5296b254230c3fa5d17/hovercard\" href=\"https://github.com/smimram/ocaml-alg/commit/415e19b41a1bb4b94a30a5296b254230c3fa5d17\"><tt>415e19b</tt></a>"}},{"before":"cc9d154d3273918e8e0b6c5c6d13d5b43d44c577","after":"a10ee48e20337ce6e010feb1ce61fa1fa1f34aba","ref":"refs/heads/gh-pages","pushedAt":"2023-11-22T15:30:49.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: 6b92c930e623d29608925035d6307356ff23db4a","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/smimram/ocaml-alg/commit/6b92c930e623d29608925035d6307356ff23db4a/hovercard\" href=\"https://github.com/smimram/ocaml-alg/commit/6b92c930e623d29608925035d6307356ff23db4a\"><tt>6b92c93</tt></a>"}},{"before":"c26eced9c4d9497fd34dc612a6481d8f2a471eb2","after":"cc9d154d3273918e8e0b6c5c6d13d5b43d44c577","ref":"refs/heads/gh-pages","pushedAt":"2023-11-22T15:30:09.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: cd346c1a064863ec4a4792ccb955176e8fdc01df","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/smimram/ocaml-alg/commit/cd346c1a064863ec4a4792ccb955176e8fdc01df/hovercard\" href=\"https://github.com/smimram/ocaml-alg/commit/cd346c1a064863ec4a4792ccb955176e8fdc01df\"><tt>cd346c1</tt></a>"}},{"before":"49f9fcfb152bbd3965b7c5a49be1f891c090f43f","after":"c26eced9c4d9497fd34dc612a6481d8f2a471eb2","ref":"refs/heads/gh-pages","pushedAt":"2023-11-22T15:29:23.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: 415e19b41a1bb4b94a30a5296b254230c3fa5d17","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/smimram/ocaml-alg/commit/415e19b41a1bb4b94a30a5296b254230c3fa5d17/hovercard\" href=\"https://github.com/smimram/ocaml-alg/commit/415e19b41a1bb4b94a30a5296b254230c3fa5d17\"><tt>415e19b</tt></a>"}},{"before":"415e19b41a1bb4b94a30a5296b254230c3fa5d17","after":"6b92c930e623d29608925035d6307356ff23db4a","ref":"refs/heads/main","pushedAt":"2023-11-22T15:22:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"smimram","name":"Samuel Mimram","path":"/smimram","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2012073?s=80&v=4"},"commit":{"message":"Get ready for next version.","shortMessageHtmlLink":"Get ready for next version."}},{"before":"cd346c1a064863ec4a4792ccb955176e8fdc01df","after":"415e19b41a1bb4b94a30a5296b254230c3fa5d17","ref":"refs/heads/main","pushedAt":"2023-11-22T15:21:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"smimram","name":"Samuel Mimram","path":"/smimram","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2012073?s=80&v=4"},"commit":{"message":"Release.","shortMessageHtmlLink":"Release."}},{"before":"f3e1e3d2fea67810e494682cd7d42b7e3f0fd811","after":"cd346c1a064863ec4a4792ccb955176e8fdc01df","ref":"refs/heads/main","pushedAt":"2023-11-22T15:20:58.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"smimram","name":"Samuel Mimram","path":"/smimram","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2012073?s=80&v=4"},"commit":{"message":"Description.","shortMessageHtmlLink":"Description."}},{"before":"9c6ce9ee4ee9342ae1feca2e3d116c910546e230","after":"49f9fcfb152bbd3965b7c5a49be1f891c090f43f","ref":"refs/heads/gh-pages","pushedAt":"2023-09-28T15:28:06.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: 709b1301fbaee16e9dbe8fa87737028a5e8dd699","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/smimram/ocaml-alg/commit/709b1301fbaee16e9dbe8fa87737028a5e8dd699/hovercard\" href=\"https://github.com/smimram/ocaml-alg/commit/709b1301fbaee16e9dbe8fa87737028a5e8dd699\"><tt>709b130</tt></a>"}},{"before":"2ef3e5821efe1d9ea35a30db67f3843031ec04ff","after":"9c6ce9ee4ee9342ae1feca2e3d116c910546e230","ref":"refs/heads/gh-pages","pushedAt":"2023-09-28T15:24:21.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: f3e1e3d2fea67810e494682cd7d42b7e3f0fd811","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/smimram/ocaml-alg/commit/f3e1e3d2fea67810e494682cd7d42b7e3f0fd811/hovercard\" href=\"https://github.com/smimram/ocaml-alg/commit/f3e1e3d2fea67810e494682cd7d42b7e3f0fd811\"><tt>f3e1e3d</tt></a>"}},{"before":"495aa9ec185e98af2bb17c92176f5b4dd8d7b5a9","after":"2ef3e5821efe1d9ea35a30db67f3843031ec04ff","ref":"refs/heads/gh-pages","pushedAt":"2023-09-28T15:23:44.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: c1a8c4a18f0d33811afe28f35ec4f41c321fe141","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/smimram/ocaml-alg/commit/c1a8c4a18f0d33811afe28f35ec4f41c321fe141/hovercard\" href=\"https://github.com/smimram/ocaml-alg/commit/c1a8c4a18f0d33811afe28f35ec4f41c321fe141\"><tt>c1a8c4a</tt></a>"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEFKsGrAA","startCursor":null,"endCursor":null}},"title":"Activity · smimram/ocaml-alg"}