{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":130033035,"defaultBranch":"master","name":"real-closed","ownerLogin":"math-comp","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-04-18T08:51:18.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11424151?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1712064006.0","currentOid":""},"activityList":{"items":[{"before":"c265c5f79af4f3e71676668b839f46fad1b1cef5","after":"73e068a53c15f10ece95cbca5e41a3267d1b704e","ref":"refs/heads/master","pushedAt":"2024-04-03T10:41:09.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 #60 from math-comp/fix-and-update\n\nDeprecation warning for rolle, mvt, etc and properly testing Abel","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2221551275\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/real-closed/issues/60\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/real-closed/pull/60/hovercard\" href=\"https://github.com/math-comp/real-closed/pull/60\">#60</a> from math-comp/fix-and-update"}},{"before":"621cade170f217c99b138a437dbfc9467adbca1d","after":"269372da653a09e44c92411c676da8840c17f0a6","ref":"refs/heads/fix-and-update","pushedAt":"2024-04-02T22:50:09.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"CohenCyril","name":"Cyril Cohen","path":"/CohenCyril","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/298705?s=80&v=4"},"commit":{"message":"Deprecation warning and testing Abel","shortMessageHtmlLink":"Deprecation warning and testing Abel"}},{"before":null,"after":"621cade170f217c99b138a437dbfc9467adbca1d","ref":"refs/heads/fix-and-update","pushedAt":"2024-04-02T13:20:06.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"CohenCyril","name":"Cyril Cohen","path":"/CohenCyril","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/298705?s=80&v=4"},"commit":{"message":"Deprecation warning and testing Abel","shortMessageHtmlLink":"Deprecation warning and testing Abel"}},{"before":"e8e3e163f8b6555bcc43a68120cf52910fbb1d37","after":"c265c5f79af4f3e71676668b839f46fad1b1cef5","ref":"refs/heads/master","pushedAt":"2024-03-26T17:26:27.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"CohenCyril","name":"Cyril Cohen","path":"/CohenCyril","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/298705?s=80&v=4"},"commit":{"message":"Merge pull request #59 from CohenCyril/refactor\n\nSimplifications, phase 1","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2206028827\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/real-closed/issues/59\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/real-closed/pull/59/hovercard\" href=\"https://github.com/math-comp/real-closed/pull/59\">#59</a> from CohenCyril/refactor"}},{"before":"7d3681f066f6b69be94252ee7b11d7ccd1efe8e5","after":null,"ref":"refs/heads/ci","pushedAt":"2024-03-20T12:19:00.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"CohenCyril","name":"Cyril Cohen","path":"/CohenCyril","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/298705?s=80&v=4"}},{"before":"2ae79e85503f5adc4d9c44abab4dd5e4b29a8221","after":"e8e3e163f8b6555bcc43a68120cf52910fbb1d37","ref":"refs/heads/master","pushedAt":"2024-03-20T12:18:57.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"CohenCyril","name":"Cyril Cohen","path":"/CohenCyril","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/298705?s=80&v=4"},"commit":{"message":"Merge pull request #58 from math-comp/ci\n\nUpdate CI and README","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2194928497\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/real-closed/issues/58\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/real-closed/pull/58/hovercard\" href=\"https://github.com/math-comp/real-closed/pull/58\">#58</a> from math-comp/ci"}},{"before":"2f72f42adccc9f6caeb6e646426c1cdfb0b93adf","after":"7d3681f066f6b69be94252ee7b11d7ccd1efe8e5","ref":"refs/heads/ci","pushedAt":"2024-03-19T14:04:01.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 Nix CI","shortMessageHtmlLink":"[CI] Update Nix CI"}},{"before":"0629f875fb9d7610075d657a259a4aa1d2b24b33","after":"2f72f42adccc9f6caeb6e646426c1cdfb0b93adf","ref":"refs/heads/ci","pushedAt":"2024-03-19T13:29:37.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":"Ad-hoc fix to recover the compatibility with coq-dev (8.20)","shortMessageHtmlLink":"Ad-hoc fix to recover the compatibility with coq-dev (8.20)"}},{"before":"a1691eb094f297073b7b12ad5a63e7a414bd2248","after":"0629f875fb9d7610075d657a259a4aa1d2b24b33","ref":"refs/heads/ci","pushedAt":"2024-03-19T13:20:47.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":"Ad-hoc fix to recover the compatibility with coq-dev (8.20)","shortMessageHtmlLink":"Ad-hoc fix to recover the compatibility with coq-dev (8.20)"}},{"before":null,"after":"a1691eb094f297073b7b12ad5a63e7a414bd2248","ref":"refs/heads/ci","pushedAt":"2024-03-19T13:06:31.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 Docker CI and README","shortMessageHtmlLink":"Update Docker CI and README"}},{"before":"ec11936c7929dad0b4f65112fe5affdc13e3edd5","after":"2ae79e85503f5adc4d9c44abab4dd5e4b29a8221","ref":"refs/heads/master","pushedAt":"2023-09-01T14:13:29.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 #56 from proux01/ci_update\n\nUpdate CI","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1869789155\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/real-closed/issues/56\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/real-closed/pull/56/hovercard\" href=\"https://github.com/math-comp/real-closed/pull/56\">#56</a> from proux01/ci_update"}},{"before":"e275bb00988ddb397a502cca17c1570aa45a2d55","after":"ec11936c7929dad0b4f65112fe5affdc13e3edd5","ref":"refs/heads/master","pushedAt":"2023-05-11T12:40:05.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"CohenCyril","name":"Cyril Cohen","path":"/CohenCyril","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/298705?s=80&v=4"},"commit":{"message":"Merge pull request #38 from proux01/hierarchy-builder\n\nPorting to MathComp HB","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1053840954\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/real-closed/issues/38\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/real-closed/pull/38/hovercard\" href=\"https://github.com/math-comp/real-closed/pull/38\">#38</a> from proux01/hierarchy-builder"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEJoahHgA","startCursor":null,"endCursor":null}},"title":"Activity · math-comp/real-closed"}