{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":209997501,"defaultBranch":"master","name":"mczify","ownerLogin":"math-comp","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-09-21T14:16:39.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11424151?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716908014.0","currentOid":""},"activityList":{"items":[{"before":"6b429f0822076bde272b883f3940154c74771908","after":null,"ref":"refs/heads/ci","pushedAt":"2024-05-28T14:53:34.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"}},{"before":"7569b6c9f81970bb28e7bbf7b9c6653d20ed90c7","after":"3ea1c2d2baebf1c7b0bcc4ba74825da1d27901a8","ref":"refs/heads/master","pushedAt":"2024-05-28T14:53:30.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Merge pull request #55 from math-comp/ci\n\nUpdate CI","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2321014570\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/mczify/issues/55\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/mczify/pull/55/hovercard\" href=\"https://github.com/math-comp/mczify/pull/55\">#55</a> from math-comp/ci"}},{"before":"c77ff3de5f41437ecf52e2897c46ff74d576f159","after":"6b429f0822076bde272b883f3940154c74771908","ref":"refs/heads/ci","pushedAt":"2024-05-28T14:04:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Simplify the test-suite infrastructure in CI","shortMessageHtmlLink":"Simplify the test-suite infrastructure in CI"}},{"before":"0132827d185d646f734062d72f1bce8900615e60","after":"c77ff3de5f41437ecf52e2897c46ff74d576f159","ref":"refs/heads/ci","pushedAt":"2024-05-28T13:48:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Simplify the test-suite infrastructure in CI","shortMessageHtmlLink":"Simplify the test-suite infrastructure in CI"}},{"before":"610d3d05669ad209c60da0f0515de4a5dc07fba4","after":"0132827d185d646f734062d72f1bce8900615e60","ref":"refs/heads/ci","pushedAt":"2024-05-28T13:20:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Remove the broken test cases","shortMessageHtmlLink":"Remove the broken test cases"}},{"before":null,"after":"610d3d05669ad209c60da0f0515de4a5dc07fba4","ref":"refs/heads/ci","pushedAt":"2024-05-28T13:01:00.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Update CI","shortMessageHtmlLink":"Update CI"}},{"before":"2adb1c742f97d6817f4bdff0555548d8eb494583","after":null,"ref":"refs/heads/ci","pushedAt":"2024-01-17T19:20:36.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"}},{"before":"371b29c7eb30ce408fa29feaf7b94146eed6660b","after":"7569b6c9f81970bb28e7bbf7b9c6653d20ed90c7","ref":"refs/heads/master","pushedAt":"2024-01-17T19:19:51.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Merge pull request #53 from math-comp/ci\n\nUpdate CI","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2086440098\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/mczify/issues/53\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/mczify/pull/53/hovercard\" href=\"https://github.com/math-comp/mczify/pull/53\">#53</a> from math-comp/ci"}},{"before":null,"after":"2adb1c742f97d6817f4bdff0555548d8eb494583","ref":"refs/heads/ci","pushedAt":"2024-01-17T15:31:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Update CI","shortMessageHtmlLink":"Update CI"}},{"before":"823600d63bc5f61cf204ec98119516134ff97580","after":null,"ref":"refs/heads/ci","pushedAt":"2023-10-26T11:26:39.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"}},{"before":"d58958c4e4903cab286c6021e47bb2c44128eb8d","after":"371b29c7eb30ce408fa29feaf7b94146eed6660b","ref":"refs/heads/master","pushedAt":"2023-10-26T11:21:31.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Merge pull request #52 from math-comp/ci\n\nUpdate CI","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1963243834\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/mczify/issues/52\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/mczify/pull/52/hovercard\" href=\"https://github.com/math-comp/mczify/pull/52\">#52</a> from math-comp/ci"}},{"before":null,"after":"823600d63bc5f61cf204ec98119516134ff97580","ref":"refs/heads/ci","pushedAt":"2023-10-26T10:48:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Update CI","shortMessageHtmlLink":"Update CI"}},{"before":"218732b5c4b33626f33a3d258dc86b631a189c89","after":null,"ref":"refs/heads/ci","pushedAt":"2023-09-22T13:23:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"}},{"before":"9f330a0bc41350a35a446be208d0722cbc109193","after":"d58958c4e4903cab286c6021e47bb2c44128eb8d","ref":"refs/heads/master","pushedAt":"2023-09-22T13:22:14.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Merge pull request #50 from math-comp/ci\n\nUpdate CI","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1908847474\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/mczify/issues/50\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/mczify/pull/50/hovercard\" href=\"https://github.com/math-comp/mczify/pull/50\">#50</a> from math-comp/ci"}},{"before":null,"after":"218732b5c4b33626f33a3d258dc86b631a189c89","ref":"refs/heads/ci","pushedAt":"2023-09-22T12:48:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Update CI","shortMessageHtmlLink":"Update CI"}},{"before":"264743a60fd9fe01c432509a9206ff11fd07521d","after":null,"ref":"refs/heads/N_to_nat","pushedAt":"2023-07-11T13:38:37.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"}},{"before":"d79c36c0daebb38ee099c9ea9c983aa22070f324","after":"9f330a0bc41350a35a446be208d0722cbc109193","ref":"refs/heads/master","pushedAt":"2023-07-11T13:37:42.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Merge pull request #48 from math-comp/N_to_nat\n\nAdd morphism instances for N.to_nat and N.of_nat","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1798939661\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/mczify/issues/48\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/mczify/pull/48/hovercard\" href=\"https://github.com/math-comp/mczify/pull/48\">#48</a> from math-comp/N_to_nat"}},{"before":null,"after":"264743a60fd9fe01c432509a9206ff11fd07521d","ref":"refs/heads/N_to_nat","pushedAt":"2023-07-11T13:23:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Add morphism instances for N.to_nat and N.of_nat","shortMessageHtmlLink":"Add morphism instances for N.to_nat and N.of_nat"}},{"before":"2131f25e2ced6fddbf436e767877df361022b464","after":null,"ref":"refs/heads/N-semiring","pushedAt":"2023-07-03T13:45:07.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"}},{"before":"40637d538ba7ce92e56764fd2f418c09bbcd27b0","after":"d79c36c0daebb38ee099c9ea9c983aa22070f324","ref":"refs/heads/master","pushedAt":"2023-07-03T12:47:11.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Merge pull request #47 from math-comp/N-semiring\n\n`N` forms a semiring","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1748263208\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/mczify/issues/47\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/mczify/pull/47/hovercard\" href=\"https://github.com/math-comp/mczify/pull/47\">#47</a> from math-comp/N-semiring"}},{"before":"3ae97f2e812008844776fc99962ccbc298044d9c","after":"2131f25e2ced6fddbf436e767877df361022b464","ref":"refs/heads/N-semiring","pushedAt":"2023-07-03T12:10:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Move some declarations","shortMessageHtmlLink":"Move some declarations"}},{"before":"17784026326d72e2cd1d33e53a228b155846267b","after":"3ae97f2e812008844776fc99962ccbc298044d9c","ref":"refs/heads/N-semiring","pushedAt":"2023-07-03T12:09:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Move some declarations","shortMessageHtmlLink":"Move some declarations"}},{"before":"994770dc1577231c095efb9b6af2ef45f5c9c139","after":"17784026326d72e2cd1d33e53a228b155846267b","ref":"refs/heads/N-semiring","pushedAt":"2023-07-03T11:59:50.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Test cases","shortMessageHtmlLink":"Test cases"}},{"before":"0baebd942802cc4b582996577e78161ec7afe15b","after":"994770dc1577231c095efb9b6af2ef45f5c9c139","ref":"refs/heads/N-semiring","pushedAt":"2023-06-08T18:22:22.703Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"More zify instances for nat and N","shortMessageHtmlLink":"More zify instances for nat and N"}},{"before":"230ccc0e26e77112cfdb2724b82a42627779d008","after":"0baebd942802cc4b582996577e78161ec7afe15b","ref":"refs/heads/N-semiring","pushedAt":"2023-06-08T16:59:09.435Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"`N` forms a semiring","shortMessageHtmlLink":"<code>N</code> forms a semiring"}},{"before":null,"after":"230ccc0e26e77112cfdb2724b82a42627779d008","ref":"refs/heads/N-semiring","pushedAt":"2023-06-08T16:10:05.379Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"`N` forms a semiring","shortMessageHtmlLink":"<code>N</code> forms a semiring"}},{"before":"c396805d70ac6fb9f23dfbcf95682477142c6e84","after":null,"ref":"refs/heads/top-bottom-notations","pushedAt":"2023-06-08T15:22:13.225Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"}},{"before":"2046446984f7b8c8f5102df4df6076b60874e688","after":"40637d538ba7ce92e56764fd2f418c09bbcd27b0","ref":"refs/heads/master","pushedAt":"2023-05-23T14:09:49.965Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Merge pull request #39 from proux01/hierarchy-builder\n\nPort to Hierarchy Builder","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1227750661\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/mczify/issues/39\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/mczify/pull/39/hovercard\" href=\"https://github.com/math-comp/mczify/pull/39\">#39</a> from proux01/hierarchy-builder"}},{"before":"11fe33f397b0d86b37d0eb25040ef618b12ecc1c","after":"2046446984f7b8c8f5102df4df6076b60874e688","ref":"refs/heads/master","pushedAt":"2023-04-28T16:29:35.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Merge pull request #46 from math-comp/top-bottom-notations\n\nAdapt to math-comp/math-comp#980","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1634087104\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/mczify/issues/46\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/mczify/pull/46/hovercard\" href=\"https://github.com/math-comp/mczify/pull/46\">#46</a> from math-comp/top-bottom-notations"}},{"before":null,"after":"c396805d70ac6fb9f23dfbcf95682477142c6e84","ref":"refs/heads/top-bottom-notations","pushedAt":"2023-03-21T14:46:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Adapt to math-comp/math-comp#980","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1617343264\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/980\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/980/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/980\">math-comp/math-comp#980</a>"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEVfurZwA","startCursor":null,"endCursor":null}},"title":"Activity · math-comp/mczify"}