{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":129917382,"defaultBranch":"master","name":"odd-order","ownerLogin":"math-comp","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-04-17T14:30:10.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11424151?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1701266466.0","currentOid":""},"activityList":{"items":[{"before":"3686ed8c592ec4e36db2a6af69e35eb61070a75f","after":null,"ref":"refs/heads/mc_1046","pushedAt":"2023-11-29T14:01:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"}},{"before":"697bada80966f20af0a3b144c35262eddf62d9c9","after":"8dbbae0e53a6d1fcf3471c8fae4dd14c8f18bd93","ref":"refs/heads/master","pushedAt":"2023-11-29T14:01:03.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #52 from math-comp/mc_1046\n\nAdapt to https://github.com/math-comp/math-comp/pull/1046","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2016321170\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/odd-order/issues/52\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/odd-order/pull/52/hovercard\" href=\"https://github.com/math-comp/odd-order/pull/52\">#52</a> from math-comp/mc_1046"}},{"before":"3a97b7110073d1ef3f508fa49f24efd7e7bcc6ca","after":"3686ed8c592ec4e36db2a6af69e35eb61070a75f","ref":"refs/heads/mc_1046","pushedAt":"2023-11-29T13:25:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Adapt to https://github.com/math-comp/math-comp/pull/1046","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1788219740\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/1046\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/1046/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/1046\">math-comp/math-comp#1046</a>"}},{"before":"8468ea55c15ec5adb66ae1da8737125f0966436e","after":null,"ref":"refs/heads/ci_nix","pushedAt":"2023-11-29T13:24:24.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"}},{"before":"6fa8ce4f70efbe3f256dba59ed91de7c0db70823","after":"697bada80966f20af0a3b144c35262eddf62d9c9","ref":"refs/heads/master","pushedAt":"2023-11-29T13:24:21.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #53 from math-comp/ci_nix\n\n[CI] Update Nix toolbox","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2016478136\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/odd-order/issues/53\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/odd-order/pull/53/hovercard\" href=\"https://github.com/math-comp/odd-order/pull/53\">#53</a> from math-comp/ci_nix"}},{"before":"fb5918dce1e6fd02da6142a153b44fbe2a63ff5e","after":"8468ea55c15ec5adb66ae1da8737125f0966436e","ref":"refs/heads/ci_nix","pushedAt":"2023-11-29T12:33:06.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"[CI] Update Docker CI","shortMessageHtmlLink":"[CI] Update Docker CI"}},{"before":"7ac0a752f1b816c7dce09a57202128258ed224a8","after":"fb5918dce1e6fd02da6142a153b44fbe2a63ff5e","ref":"refs/heads/ci_nix","pushedAt":"2023-11-29T12:29:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"[CI] Update Docker CI","shortMessageHtmlLink":"[CI] Update Docker CI"}},{"before":null,"after":"7ac0a752f1b816c7dce09a57202128258ed224a8","ref":"refs/heads/ci_nix","pushedAt":"2023-11-29T12:25:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"[CI] Update Nix toolbox","shortMessageHtmlLink":"[CI] Update Nix toolbox"}},{"before":"84fd62d8cec439968c8421ea0de8ccbc13e98ed4","after":"3a97b7110073d1ef3f508fa49f24efd7e7bcc6ca","ref":"refs/heads/mc_1046","pushedAt":"2023-11-29T10:53:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Adapt to https://github.com/math-comp/math-comp/pull/1046","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1788219740\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/1046\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/1046/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/1046\">math-comp/math-comp#1046</a>"}},{"before":null,"after":"84fd62d8cec439968c8421ea0de8ccbc13e98ed4","ref":"refs/heads/mc_1046","pushedAt":"2023-11-28T14:50:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":null,"after":"5bb00abed2f84071c062d22f381ee881ea9035f1","ref":"refs/heads/mc_1110","pushedAt":"2023-11-06T15:04:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Adapt to https://github.com/math-comp/math-comp/pull/1110","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1968400122\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/1110\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/1110/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/1110\">math-comp/math-comp#1110</a>"}},{"before":"d8ce7626e021efd2a943b85fd19d627ce0509017","after":"6fa8ce4f70efbe3f256dba59ed91de7c0db70823","ref":"refs/heads/master","pushedAt":"2023-09-24T16:50:19.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #51 from proux01/coq_18031\n\nAdapt to https://github.com/coq/coq/pull/18031","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1910290363\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/odd-order/issues/51\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/odd-order/pull/51/hovercard\" href=\"https://github.com/math-comp/odd-order/pull/51\">#51</a> from proux01/coq_18031"}},{"before":"776346a1a1e8cb55f2ae79eb98f249d049db5bf9","after":"d8ce7626e021efd2a943b85fd19d627ce0509017","ref":"refs/heads/master","pushedAt":"2023-09-23T22:03:52.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #50 from proux01/mc_1068\n\nAdapt to https://github.com/math-comp/math-comp/pull/1068","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1910005624\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/odd-order/issues/50\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/odd-order/pull/50/hovercard\" href=\"https://github.com/math-comp/odd-order/pull/50\">#50</a> from proux01/mc_1068"}},{"before":"996d01fdcfb7379f36869d1cce0371d170b56001","after":"776346a1a1e8cb55f2ae79eb98f249d049db5bf9","ref":"refs/heads/master","pushedAt":"2023-09-23T14:35:35.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #49 from proux01/mc_1052\n\nAdapt to https://github.com/math-comp/math-comp/pull/1052","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1909873565\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/odd-order/issues/49\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/odd-order/pull/49/hovercard\" href=\"https://github.com/math-comp/odd-order/pull/49\">#49</a> from proux01/mc_1052"}},{"before":"14138cc063d0ecd2600ecec92ffeec5eaa857f76","after":null,"ref":"refs/heads/deprecation_mc2","pushedAt":"2023-06-06T16:11:18.525Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"}},{"before":"cb939a119716750f0518c6eb3d0d09a95963868f","after":"996d01fdcfb7379f36869d1cce0371d170b56001","ref":"refs/heads/master","pushedAt":"2023-06-06T16:11:15.014Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #48 from math-comp/deprecation_mc2\n\nFix deprecation warnings from MC 1.17 and 2.0","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1743922175\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/odd-order/issues/48\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/odd-order/pull/48/hovercard\" href=\"https://github.com/math-comp/odd-order/pull/48\">#48</a> from math-comp/deprecation_mc2"}},{"before":null,"after":"14138cc063d0ecd2600ecec92ffeec5eaa857f76","ref":"refs/heads/deprecation_mc2","pushedAt":"2023-06-06T13:50:06.817Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Fix MathComp 1.17.0 deprecations","shortMessageHtmlLink":"Fix MathComp 1.17.0 deprecations"}},{"before":"d4175214a8b7482df14f33c1976b87dacd15d922","after":null,"ref":"refs/heads/fix-mathcomp-682","pushedAt":"2023-06-06T10:47:06.660Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"}},{"before":"cbbe9339510180b0d31206d0fc175b0607f73d2f","after":"cb939a119716750f0518c6eb3d0d09a95963868f","ref":"refs/heads/master","pushedAt":"2023-06-06T10:47:02.751Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #47 from math-comp/fix-mathcomp-682\n\nAdapt to https://github.com/math-comp/math-comp/pull/1031","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1743471537\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/odd-order/issues/47\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/odd-order/pull/47/hovercard\" href=\"https://github.com/math-comp/odd-order/pull/47\">#47</a> from math-comp/fix-mathcomp-682"}},{"before":"7047237e434b7eb190ea63a35f3a623fe6a7e6ff","after":"d4175214a8b7482df14f33c1976b87dacd15d922","ref":"refs/heads/fix-mathcomp-682","pushedAt":"2023-06-06T09:39:06.647Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Adapt to https://github.com/math-comp/math-comp/pull/1031","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1742786229\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/1031\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/1031/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/1031\">math-comp/math-comp#1031</a>"}},{"before":null,"after":"7047237e434b7eb190ea63a35f3a623fe6a7e6ff","ref":"refs/heads/fix-mathcomp-682","pushedAt":"2023-06-06T09:36:13.897Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Adapt to https://github.com/math-comp/math-comp/pull/1031","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1742786229\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/1031\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/1031/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/1031\">math-comp/math-comp#1031</a>"}},{"before":"fbf765febbdb1f868fd1ec372f33be5a5e8268b7","after":"cbbe9339510180b0d31206d0fc175b0607f73d2f","ref":"refs/heads/master","pushedAt":"2023-06-04T09:16:39.110Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #28 from pi8027/fix-mathcomp-682\n\nFix w.r.t. math-comp/math-comp#682","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"761853136\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/odd-order/issues/28\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/odd-order/pull/28/hovercard\" href=\"https://github.com/math-comp/odd-order/pull/28\">#28</a> from pi8027/fix-mathcomp-682"}},{"before":"cc43d70d0ca58d605dd52a3fc3b67b5c0a5d1da3","after":null,"ref":"refs/heads/hirarchy-builder","pushedAt":"2023-05-11T10:53:57.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"}},{"before":"2c03794e64eef467442a4ea2ef1430b13b0faa97","after":"fbf765febbdb1f868fd1ec372f33be5a5e8268b7","ref":"refs/heads/master","pushedAt":"2023-05-11T10:53:53.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #37 from math-comp/hirarchy-builder\n\n[wip] port to HB","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1048836844\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/odd-order/issues/37\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/odd-order/pull/37/hovercard\" href=\"https://github.com/math-comp/odd-order/pull/37\">#37</a> from math-comp/hirarchy-builder"}},{"before":"50fa36544e2d859a1b9ee0e1d253a2ca5146ea57","after":"cc43d70d0ca58d605dd52a3fc3b67b5c0a5d1da3","ref":"refs/heads/hirarchy-builder","pushedAt":"2023-05-11T08:16:10.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"[CI] Update Docker CI","shortMessageHtmlLink":"[CI] Update Docker CI"}},{"before":"7bec9848b557ecae878bfc8e00dcaf266473bee8","after":"50fa36544e2d859a1b9ee0e1d253a2ca5146ea57","ref":"refs/heads/hirarchy-builder","pushedAt":"2023-05-06T20:30:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Fix compilation","shortMessageHtmlLink":"Fix compilation"}},{"before":"663e1827836cf0dedebb99f0ab6b232bab9bffd0","after":"2c03794e64eef467442a4ea2ef1430b13b0faa97","ref":"refs/heads/master","pushedAt":"2023-04-02T20:56:17.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"CohenCyril","name":"Cyril Cohen","path":"/CohenCyril","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/298705?s=80&v=4"},"commit":{"message":"Merge pull request #46 from JasonGross/try-fix-seq-notation\n\nAttempt to fix seq notation","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1650669393\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/odd-order/issues/46\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/odd-order/pull/46/hovercard\" href=\"https://github.com/math-comp/odd-order/pull/46\">#46</a> from JasonGross/try-fix-seq-notation"}},{"before":"e20afe493f0e74e301cbd2d481884d85916796b4","after":"7bec9848b557ecae878bfc8e00dcaf266473bee8","ref":"refs/heads/hirarchy-builder","pushedAt":"2023-03-07T16:55:24.295Z","pushType":"push","commitsCount":1,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Adapt to semirings","shortMessageHtmlLink":"Adapt to semirings"}},{"before":"6569801202a9a63ad6b608f4a3e6965d7636c5e7","after":"e20afe493f0e74e301cbd2d481884d85916796b4","ref":"refs/heads/hirarchy-builder","pushedAt":"2023-03-07T14:08:09.297Z","pushType":"push","commitsCount":2,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"},"commit":{"message":"partial fix after morphisms / 8.17","shortMessageHtmlLink":"partial fix after morphisms / 8.17"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADuvS09wA","startCursor":null,"endCursor":null}},"title":"Activity · math-comp/odd-order"}