{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":16694745,"defaultBranch":"master","name":"coqeal","ownerLogin":"coq-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-02-10T12:35:29.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/34452610?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1711721561.0","currentOid":""},"activityList":{"items":[{"before":"5c90833b1ef4602a749d746fbaef6670ed06d437","after":null,"ref":"refs/heads/mc_1190","pushedAt":"2024-03-29T14:12:41.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":"fb2ecaf4cf99d91351e2a18418d14bea8f24ca60","after":"73f9ec4689dc507249db62c9bc27f26f95040afc","ref":"refs/heads/master","pushedAt":"2024-03-29T14:12:39.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 #89 from coq-community/mc_1190\n\nDrop MC 2.0 support","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2215257242\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coqeal/issues/89\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coqeal/pull/89/hovercard\" href=\"https://github.com/coq-community/coqeal/pull/89\">#89</a> from coq-community/mc_1190"}},{"before":"637133cc3a906df36e48f5a09a6eff56aaa2e492","after":"5c90833b1ef4602a749d746fbaef6670ed06d437","ref":"refs/heads/mc_1190","pushedAt":"2024-03-29T13:22:35.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 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":"637133cc3a906df36e48f5a09a6eff56aaa2e492","ref":"refs/heads/mc_1190","pushedAt":"2024-03-29T12:30:48.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":"72cbc4f52f65413499416434a9819d692d823bd6","after":"fb2ecaf4cf99d91351e2a18418d14bea8f24ca60","ref":"refs/heads/master","pushedAt":"2024-02-02T14:53:45.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 #87 from proux01/sigT_hrel\n\nRemove universe constraints","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2115062649\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coqeal/issues/87\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coqeal/pull/87/hovercard\" href=\"https://github.com/coq-community/coqeal/pull/87\">#87</a> from proux01/sigT_hrel"}},{"before":"c08ed244a50b29134548b4d0dc0ee8843ef7111d","after":null,"ref":"refs/heads/ci","pushedAt":"2024-01-18T17:39:26.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":"aa50f631c2ac0502aad043aeb145747c55fba5b6","after":"72cbc4f52f65413499416434a9819d692d823bd6","ref":"refs/heads/master","pushedAt":"2024-01-18T17:39:22.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 #86 from coq-community/ci\n\nUpdate CI","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2088619114\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coqeal/issues/86\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coqeal/pull/86/hovercard\" href=\"https://github.com/coq-community/coqeal/pull/86\">#86</a> from coq-community/ci"}},{"before":"e6fab5a8a1980edd10c90f02b8adafef935ae59a","after":"c08ed244a50b29134548b4d0dc0ee8843ef7111d","ref":"refs/heads/ci","pushedAt":"2024-01-18T16:24:04.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":"Update CI","shortMessageHtmlLink":"Update CI"}},{"before":"7f9af35a5ba96982200fcca810c93bdb2d99d437","after":"e6fab5a8a1980edd10c90f02b8adafef935ae59a","ref":"refs/heads/ci","pushedAt":"2024-01-18T16:17:02.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":"Update CI","shortMessageHtmlLink":"Update CI"}},{"before":null,"after":"7f9af35a5ba96982200fcca810c93bdb2d99d437","ref":"refs/heads/ci","pushedAt":"2024-01-18T16:14:05.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":"a92948849160e7a12968719b805872a849290cda","after":null,"ref":"refs/heads/function_scope","pushedAt":"2023-12-05T19:13:45.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":"b50844afbca9c1c049133e971fe511078736e37d","after":"aa50f631c2ac0502aad043aeb145747c55fba5b6","ref":"refs/heads/master","pushedAt":"2023-12-05T19:13:41.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 #85 from coq-community/function_scope\n\nAdapt to math-comp/math-comp#1131","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2026341608\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coqeal/issues/85\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coqeal/pull/85/hovercard\" href=\"https://github.com/coq-community/coqeal/pull/85\">#85</a> from coq-community/function_scope"}},{"before":"996b8096a4b00efb008f08c65e5c03499e052304","after":"a92948849160e7a12968719b805872a849290cda","ref":"refs/heads/function_scope","pushedAt":"2023-12-05T16:16:59.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":"Fix","shortMessageHtmlLink":"Fix"}},{"before":"35e6dcc0bf64eb906b7880be676ca866bb6a6967","after":"996b8096a4b00efb008f08c65e5c03499e052304","ref":"refs/heads/function_scope","pushedAt":"2023-12-05T15:19:12.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 math-comp/math-comp#1131","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2018868118\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/1131\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/1131/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/1131\">math-comp/math-comp#1131</a>"}},{"before":"6ae424ef06e04d0bf67917ca0fc28e72edc5c143","after":"35e6dcc0bf64eb906b7880be676ca866bb6a6967","ref":"refs/heads/function_scope","pushedAt":"2023-12-05T14:34: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":"Adapt to math-comp/math-comp#1131","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2018868118\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/1131\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/1131/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/1131\">math-comp/math-comp#1131</a>"}},{"before":null,"after":"6ae424ef06e04d0bf67917ca0fc28e72edc5c143","ref":"refs/heads/function_scope","pushedAt":"2023-12-05T14:20:03.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/mathcomp#1131","shortMessageHtmlLink":"Adapt to math-comp/mathcomp#1131"}},{"before":"d8ade7d50f22722bc24c385d106896058a9422a8","after":null,"ref":"refs/heads/mc_1046","pushedAt":"2023-11-27T16:06:16.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":"89b84d5b6845e0717bf7464a6a6fb8a0351f9cb9","after":"b50844afbca9c1c049133e971fe511078736e37d","ref":"refs/heads/master","pushedAt":"2023-11-27T16:06:12.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 #84 from coq-community/mc_1046\n\nAdapt to https://github.com/coq/coq/pull/18349","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2012442743\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coqeal/issues/84\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coqeal/pull/84/hovercard\" href=\"https://github.com/coq-community/coqeal/pull/84\">#84</a> from coq-community/mc_1046"}},{"before":null,"after":"d8ade7d50f22722bc24c385d106896058a9422a8","ref":"refs/heads/mc_1046","pushedAt":"2023-11-27T14:47:09.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/coq/coq/pull/18349","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2008190342\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18349\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18349/hovercard\" href=\"https://github.com/coq/coq/pull/18349\">coq/coq#18349</a>"}},{"before":"c1e3224fd6bca0bc5ab4c178f79e5998322a2b7b","after":null,"ref":"refs/heads/hb_gt_160_primproj","pushedAt":"2023-11-21T12:02:51.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":"27e918b4652dc0e6f0393b23e694c430eb7f8c27","after":"89b84d5b6845e0717bf7464a6a6fb8a0351f9cb9","ref":"refs/heads/master","pushedAt":"2023-11-21T12:02:47.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 #83 from coq-community/hb_gt_160_primproj\n\nAdapt to HB > 1.6.0 (use of primitive projections)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2004027869\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coqeal/issues/83\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coqeal/pull/83/hovercard\" href=\"https://github.com/coq-community/coqeal/pull/83\">#83</a> from coq-community/hb_gt_160_primproj"}},{"before":null,"after":"c1e3224fd6bca0bc5ab4c178f79e5998322a2b7b","ref":"refs/heads/hb_gt_160_primproj","pushedAt":"2023-11-21T11:07:01.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 HB > 1.6.0 (use of primitive projections)","shortMessageHtmlLink":"Adapt to HB &gt; 1.6.0 (use of primitive projections)"}},{"before":"0775de8457e860bfc1264325ab348bdb83efb238","after":null,"ref":"refs/heads/meta-deps-8.19","pushedAt":"2023-09-02T09:03:31.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":"81402286cc7ae88662063bf1d516f2ce986fa2f8","after":"27e918b4652dc0e6f0393b23e694c430eb7f8c27","ref":"refs/heads/master","pushedAt":"2023-09-02T09:03:27.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 #81 from coq-community/meta-deps-8.19\n\nexplicitly record implicit dependencies, update boilerplate for 8.18","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1878474871\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coqeal/issues/81\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coqeal/pull/81/hovercard\" href=\"https://github.com/coq-community/coqeal/pull/81\">#81</a> from coq-community/meta-deps-8.19"}},{"before":"4f0cce6ca468c30628f5bcebbe5fa46a2c2452fe","after":"0775de8457e860bfc1264325ab348bdb83efb238","ref":"refs/heads/meta-deps-8.19","pushedAt":"2023-09-02T09:02:36.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":"explicitly record implicit dependencies HB and ssreflect, update boilerplate for 8.18 and MathComp 2.0","shortMessageHtmlLink":"explicitly record implicit dependencies HB and ssreflect, update boil…"}},{"before":"f2dd7827ed86180d121c51a9997828668b7d699e","after":"4f0cce6ca468c30628f5bcebbe5fa46a2c2452fe","ref":"refs/heads/meta-deps-8.19","pushedAt":"2023-09-02T07:58:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"explicitly record implicit dependencies HB and ssreflect, update boilerplate for 8.18 and MathComp 2.0","shortMessageHtmlLink":"explicitly record implicit dependencies HB and ssreflect, update boil…"}},{"before":null,"after":"f2dd7827ed86180d121c51a9997828668b7d699e","ref":"refs/heads/meta-deps-8.19","pushedAt":"2023-09-02T07:52:28.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":"explicitly record implicit dependencies HB and ssreflect, update boilerplate for 8.18 and MathComp 2.0","shortMessageHtmlLink":"explicitly record implicit dependencies HB and ssreflect, update boil…"}},{"before":"348d00c0fbd10f4370d619b3c5d97aa6fc425ef2","after":null,"ref":"refs/heads/mc_1031","pushedAt":"2023-06-09T20:25:20.343Z","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":"9bbbb34b7f40cc8850c0da8214e80844872fb559","after":"81402286cc7ae88662063bf1d516f2ce986fa2f8","ref":"refs/heads/master","pushedAt":"2023-06-09T20:25:16.606Z","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 #80 from coq-community/mc_1031\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=\"1750441227\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coqeal/issues/80\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coqeal/pull/80/hovercard\" href=\"https://github.com/coq-community/coqeal/pull/80\">#80</a> from coq-community/mc_1031"}},{"before":null,"after":"348d00c0fbd10f4370d619b3c5d97aa6fc425ef2","ref":"refs/heads/mc_1031","pushedAt":"2023-06-09T20:10:43.496Z","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>"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEIrjw9wA","startCursor":null,"endCursor":null}},"title":"Activity · coq-community/coqeal"}