{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":156423471,"defaultBranch":"master","name":"fourcolor","ownerLogin":"coq-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-11-06T17:43:35.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/34452610?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1714377489.0","currentOid":""},"activityList":{"items":[{"before":"6b278e4fd9851a2570a03e4696054a59836dbcaf","after":null,"ref":"refs/heads/remove-mathcomp-dev-8.17-docker","pushedAt":"2024-04-29T07:58:09.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"0ee53c3aa85621aeba6e73a9f1acafa37574b623","after":"91ff6b8b846c8ad683260a5e6ce400e186f43c6e","ref":"refs/heads/master","pushedAt":"2024-04-29T07:58:06.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #56 from coq-community/remove-mathcomp-dev-8.17-docker\n\nremove mathcomp-dev-coq-8.17 Docker job","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2268329417\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/fourcolor/issues/56\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/fourcolor/pull/56/hovercard\" href=\"https://github.com/coq-community/fourcolor/pull/56\">#56</a> from coq-community/remove-mathcomp-dev-8.17-do…"}},{"before":null,"after":"6b278e4fd9851a2570a03e4696054a59836dbcaf","ref":"refs/heads/remove-mathcomp-dev-8.17-docker","pushedAt":"2024-04-29T07:33:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"remove mathcomp-dev-coq-8.17 Docker job","shortMessageHtmlLink":"remove mathcomp-dev-coq-8.17 Docker job"}},{"before":"57b46dca7d3503e4615b6164a2f5e1245414d55f","after":null,"ref":"refs/heads/mc_1190","pushedAt":"2024-03-28T16:37:58.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":"43719c0fb5fb6cb0c8fc1c2db09efc632c23df90","after":"0ee53c3aa85621aeba6e73a9f1acafa37574b623","ref":"refs/heads/master","pushedAt":"2024-03-28T16:35:53.000Z","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 #55 from coq-community/mc_1190\n\nAdapt to math-comp/math-comp#1190","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2213470983\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/fourcolor/issues/55\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/fourcolor/pull/55/hovercard\" href=\"https://github.com/coq-community/fourcolor/pull/55\">#55</a> from coq-community/mc_1190"}},{"before":"99a29672f5c79fcc3a502a25a720f1f9dcf6fcee","after":"57b46dca7d3503e4615b6164a2f5e1245414d55f","ref":"refs/heads/mc_1190","pushedAt":"2024-03-28T15:14:39.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":"Update CI","shortMessageHtmlLink":"Update CI"}},{"before":null,"after":"99a29672f5c79fcc3a502a25a720f1f9dcf6fcee","ref":"refs/heads/mc_1190","pushedAt":"2024-03-28T15:05:57.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#1190","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2206517035\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/1190\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/1190/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/1190\">math-comp/math-comp#1190</a>"}},{"before":null,"after":"e1ec142a73ce208587df66f50e860145062fff6e","ref":"refs/heads/mc_1110","pushedAt":"2023-11-03T13:04:18.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":"3eff46b1411227c36e9281dab558f3963696c689","after":null,"ref":"refs/heads/ci_mc_2_1_0","pushedAt":"2023-10-26T13:44:01.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":"f127f32e644eded02312077f02ffbcc0c3254b75","after":"43719c0fb5fb6cb0c8fc1c2db09efc632c23df90","ref":"refs/heads/master","pushedAt":"2023-10-26T13:43:57.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 #54 from coq-community/ci_mc_2_1_0\n\n[CI] Add MC 2.1.0","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1963464219\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/fourcolor/issues/54\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/fourcolor/pull/54/hovercard\" href=\"https://github.com/coq-community/fourcolor/pull/54\">#54</a> from coq-community/ci_mc_2_1_0"}},{"before":"c3f6aaa29b2ded5fa762c117affb7be45cd4728a","after":"3eff46b1411227c36e9281dab558f3963696c689","ref":"refs/heads/ci_mc_2_1_0","pushedAt":"2023-10-26T12:37:16.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 Nix CI","shortMessageHtmlLink":"[CI] Update Nix CI"}},{"before":null,"after":"c3f6aaa29b2ded5fa762c117affb7be45cd4728a","ref":"refs/heads/ci_mc_2_1_0","pushedAt":"2023-10-26T12:32:46.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 CI","shortMessageHtmlLink":"[CI] Update Nix CI"}},{"before":"c3f6aaa29b2ded5fa762c117affb7be45cd4728a","after":null,"ref":"refs/heads/ci_mc210","pushedAt":"2023-10-26T12:31:56.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":"72ec2270fcde967aef04ce0ebd7c0196ed8ba5c7","after":"c3f6aaa29b2ded5fa762c117affb7be45cd4728a","ref":"refs/heads/ci_mc210","pushedAt":"2023-10-26T11:28:17.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":"ec5da8415cc15a256b0fbcf04e481418053131ee","after":"72ec2270fcde967aef04ce0ebd7c0196ed8ba5c7","ref":"refs/heads/ci_mc210","pushedAt":"2023-10-26T10:11:45.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] Add MC 2.1","shortMessageHtmlLink":"[CI] Add MC 2.1"}},{"before":null,"after":"ec5da8415cc15a256b0fbcf04e481418053131ee","ref":"refs/heads/ci_mc210","pushedAt":"2023-10-26T09:57:24.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] Add MC 2.1","shortMessageHtmlLink":"[CI] Add MC 2.1"}},{"before":"3e39e52e0a05e5819922f2d5d755fab114fe5870","after":"f127f32e644eded02312077f02ffbcc0c3254b75","ref":"refs/heads/master","pushedAt":"2023-06-04T09:16:18.764Z","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 #27 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=\"761853127\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/fourcolor/issues/27\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/fourcolor/pull/27/hovercard\" href=\"https://github.com/coq-community/fourcolor/pull/27\">#27</a> from pi8027/fix-mathcomp-682"}},{"before":"d62fa8f3f32469d913fcbe7918a22f816463a1e0","after":"3e39e52e0a05e5819922f2d5d755fab114fe5870","ref":"refs/heads/master","pushedAt":"2023-05-26T07:29:59.910Z","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":"Update meta.yml","shortMessageHtmlLink":"Update meta.yml"}},{"before":"dce84bff083f8dec8a7d360c8a2edf27b74761d6","after":null,"ref":"refs/heads/hierarchy-builder","pushedAt":"2023-05-11T12:31:34.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":"e831b0b00e264285f91938917a0a5ef64ec1a829","after":"d62fa8f3f32469d913fcbe7918a22f816463a1e0","ref":"refs/heads/master","pushedAt":"2023-05-11T12:31:31.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 #44 from coq-community/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=\"1242178701\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/fourcolor/issues/44\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/fourcolor/pull/44/hovercard\" href=\"https://github.com/coq-community/fourcolor/pull/44\">#44</a> from coq-community/hierarchy-builder"}},{"before":"617a1f1f24d110be5453a6e70decb269cf761e93","after":"dce84bff083f8dec8a7d360c8a2edf27b74761d6","ref":"refs/heads/hierarchy-builder","pushedAt":"2023-05-11T11:51:43.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","shortMessageHtmlLink":"[CI] Update Docker"}},{"before":"5b79530f3d42e78764e50ac8b6af8b5225ca8318","after":"617a1f1f24d110be5453a6e70decb269cf761e93","ref":"refs/heads/hierarchy-builder","pushedAt":"2023-03-08T19:04:05.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":"Port to Hierarchy Builder","shortMessageHtmlLink":"Port to Hierarchy Builder"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEPLYzigA","startCursor":null,"endCursor":null}},"title":"Activity · coq-community/fourcolor"}