{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":113460011,"defaultBranch":"master","name":"color","ownerLogin":"fblanqui","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-12-07T14:23:14.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/10852505?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1726568762.0","currentOid":""},"activityList":{"items":[{"before":"1aed2a7e76e6facc705e47a47c339b084827210c","after":null,"ref":"refs/heads/coq8.20","pushedAt":"2024-09-17T10:26:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"}},{"before":"7455c8ad475dbe6554e880181ae1a70c77748e7c","after":"d35c2ed9c3330e3877c631d1f6d87db3cc2655a4","ref":"refs/heads/master","pushedAt":"2024-09-17T10:25:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"ci: add coq 8.20 (#54)","shortMessageHtmlLink":"ci: add coq 8.20 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2530696907\" data-permission-text=\"Title is private\" data-url=\"https://github.com/fblanqui/color/issues/54\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/fblanqui/color/pull/54/hovercard\" href=\"https://github.com/fblanqui/color/pull/54\">#54</a>)"}},{"before":null,"after":"1aed2a7e76e6facc705e47a47c339b084827210c","ref":"refs/heads/coq8.20","pushedAt":"2024-09-17T10:06:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"ci: add coq 8.20","shortMessageHtmlLink":"ci: add coq 8.20"}},{"before":"df743bfa96848f14d6729b7c7e16ac16d78ebbc3","after":"7455c8ad475dbe6554e880181ae1a70c77748e7c","ref":"refs/heads/master","pushedAt":"2024-09-17T09:54:08.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"Adapt to https://github.com/coq/coq/pull/19530 (#53)","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2519789622\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19530\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19530/hovercard\" href=\"https://github.com/coq/coq/pull/19530\">coq/coq#19530</a> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2530638227\" data-permission-text=\"Title is private\" data-url=\"https://github.com/fblanqui/color/issues/53\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/fblanqui/color/pull/53/hovercard\" href=\"https://github.com/fblanqui/color/pull/53\">#53</a>)"}},{"before":"4f8f9e6aa8887381a305f94c6ecaaab83e1d0f7d","after":null,"ref":"refs/heads/dependabot/github_actions/actions/checkout-4","pushedAt":"2024-07-16T11:12:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"}},{"before":"c31fb84d4fa3406d76e2499246a6b8547db3c0c3","after":"df743bfa96848f14d6729b7c7e16ac16d78ebbc3","ref":"refs/heads/master","pushedAt":"2024-07-16T11:12:03.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"Bump actions/checkout from 2 to 4 (#52)\n\nBumps [actions/checkout](https://github.com/actions/checkout) from 2 to 4.\r\n- [Release notes](https://github.com/actions/checkout/releases)\r\n- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)\r\n- [Commits](https://github.com/actions/checkout/compare/v2...v4)\r\n\r\n---\r\nupdated-dependencies:\r\n- dependency-name: actions/checkout\r\n  dependency-type: direct:production\r\n  update-type: version-update:semver-major\r\n...\r\n\r\nSigned-off-by: dependabot[bot] <support@github.com>\r\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump actions/checkout from 2 to 4 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2410806165\" data-permission-text=\"Title is private\" data-url=\"https://github.com/fblanqui/color/issues/52\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/fblanqui/color/pull/52/hovercard\" href=\"https://github.com/fblanqui/color/pull/52\">#52</a>)"}},{"before":null,"after":"4f8f9e6aa8887381a305f94c6ecaaab83e1d0f7d","ref":"refs/heads/dependabot/github_actions/actions/checkout-4","pushedAt":"2024-07-16T10:34:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump actions/checkout from 2 to 4\n\nBumps [actions/checkout](https://github.com/actions/checkout) from 2 to 4.\n- [Release notes](https://github.com/actions/checkout/releases)\n- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/actions/checkout/compare/v2...v4)\n\n---\nupdated-dependencies:\n- dependency-name: actions/checkout\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump actions/checkout from 2 to 4"}},{"before":"b063daf21dc89734c999cbb0893ae25830f1d0f4","after":"c31fb84d4fa3406d76e2499246a6b8547db3c0c3","ref":"refs/heads/master","pushedAt":"2024-07-16T10:34:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"add dependabot.yml","shortMessageHtmlLink":"add dependabot.yml"}},{"before":"d257f1d6343a98310bd548796fef3fac3108a6b2","after":"b063daf21dc89734c999cbb0893ae25830f1d0f4","ref":"refs/heads/master","pushedAt":"2024-04-16T21:11:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"opam file lint: fix license name","shortMessageHtmlLink":"opam file lint: fix license name"}},{"before":"1d79312ab49f772467da11437bcc410ae03edbfc","after":"d257f1d6343a98310bd548796fef3fac3108a6b2","ref":"refs/heads/master","pushedAt":"2024-04-16T21:03:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"update README","shortMessageHtmlLink":"update README"}},{"before":"a102377cf67b0209bc7301bbca0dae36b23c939b","after":"1d79312ab49f772467da11437bcc410ae03edbfc","ref":"refs/heads/master","pushedAt":"2024-04-16T21:01:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"update README","shortMessageHtmlLink":"update README"}},{"before":"03706ed19f7619c079a1782b7fc5886560c471cf","after":null,"ref":"refs/heads/coq8.19","pushedAt":"2024-04-16T20:50:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"}},{"before":"a5d00a0102ceb99f2615db2c67f1b99bcc1db2f7","after":"a102377cf67b0209bc7301bbca0dae36b23c939b","ref":"refs/heads/master","pushedAt":"2024-04-16T20:50:35.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"ci: add coq 8.19 (#51)","shortMessageHtmlLink":"ci: add coq 8.19 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2246853121\" data-permission-text=\"Title is private\" data-url=\"https://github.com/fblanqui/color/issues/51\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/fblanqui/color/pull/51/hovercard\" href=\"https://github.com/fblanqui/color/pull/51\">#51</a>)"}},{"before":null,"after":"03706ed19f7619c079a1782b7fc5886560c471cf","ref":"refs/heads/coq8.19","pushedAt":"2024-04-16T20:42:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"ci: add coq 8.19","shortMessageHtmlLink":"ci: add coq 8.19"}},{"before":"42f4b271d41b81d59508936a375ac2f9fafe6b9c","after":"a5d00a0102ceb99f2615db2c67f1b99bcc1db2f7","ref":"refs/heads/master","pushedAt":"2024-04-11T20:30:12.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"Adapt w.r.t. coq/coq#18895. (#50)","shortMessageHtmlLink":"Adapt w.r.t. <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2227671238\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18895\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18895/hovercard\" href=\"https://github.com/coq/coq/pull/18895\">coq/coq#18895</a>. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2238196613\" data-permission-text=\"Title is private\" data-url=\"https://github.com/fblanqui/color/issues/50\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/fblanqui/color/pull/50/hovercard\" href=\"https://github.com/fblanqui/color/pull/50\">#50</a>)"}},{"before":"845cef309948234aaac9a25cde875795b179938c","after":"42f4b271d41b81d59508936a375ac2f9fafe6b9c","ref":"refs/heads/master","pushedAt":"2023-11-01T15:59:43.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"Adapt to Coq/Coq#18164 (#49)\n\n* Adapt to Coq/Coq#18164\r\n\r\nRemoval of many Coq.Arith files\r\n\r\n* Added Util/Nat/NatCompat.v\r\n\r\nFor backwards compatibility, NatCompat.v is added. This is necessary\r\nbecause Util/Nat/NatUtil.v also comes with many implicit arguments (in\r\nparticular it imports RelUtil) which are not always assumed in the rest\r\nof the library. The lemmas from NatCompat are used with a qualified name\r\nin order to prevent incompatibility with existing lemmas in Coq.Arith in\r\nCoq < 8.19.\r\n\r\nTODO: Make this library more homogeneous with respect to implicit\r\narguments.","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1943806593\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18164\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18164/hovercard\" href=\"https://github.com/coq/coq/pull/18164\">coq/coq#18164</a> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1965037486\" data-permission-text=\"Title is private\" data-url=\"https://github.com/fblanqui/color/issues/49\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/fblanqui/color/pull/49/hovercard\" href=\"https://github.com/fblanqui/color/pull/49\">#49</a>)"}},{"before":"c02a300cefdf50ec9c6489587b3601db4b7dfd82","after":null,"ref":"refs/heads/coq-8.18","pushedAt":"2023-09-28T10:44:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"}},{"before":"5edcc649fc0b4a644ef38b722103954eee706bac","after":"845cef309948234aaac9a25cde875795b179938c","ref":"refs/heads/master","pushedAt":"2023-09-28T10:44:49.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"CI: add coq 8.18 (#48)","shortMessageHtmlLink":"CI: add coq 8.18 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1917189841\" data-permission-text=\"Title is private\" data-url=\"https://github.com/fblanqui/color/issues/48\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/fblanqui/color/pull/48/hovercard\" href=\"https://github.com/fblanqui/color/pull/48\">#48</a>)"}},{"before":null,"after":"c02a300cefdf50ec9c6489587b3601db4b7dfd82","ref":"refs/heads/coq-8.18","pushedAt":"2023-09-28T10:31:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"CI: add coq 8.18","shortMessageHtmlLink":"CI: add coq 8.18"}},{"before":"32af87bcf435e5eb5817280c55a44c3dee20e183","after":null,"ref":"refs/heads/coq-8.17","pushedAt":"2023-06-28T12:41:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"}},{"before":"f2ef98f7d13c5d71dd2a614ed2e6721703a34532","after":"5edcc649fc0b4a644ef38b722103954eee706bac","ref":"refs/heads/master","pushedAt":"2023-06-28T12:40:59.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"CI: add coq 8.17 (#47)\n\n* CI: add coq 8.17\r\n\r\n* fix README","shortMessageHtmlLink":"CI: add coq 8.17 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1778835783\" data-permission-text=\"Title is private\" data-url=\"https://github.com/fblanqui/color/issues/47\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/fblanqui/color/pull/47/hovercard\" href=\"https://github.com/fblanqui/color/pull/47\">#47</a>)"}},{"before":"0412641eb806634115d281628e3a512b978a841a","after":"32af87bcf435e5eb5817280c55a44c3dee20e183","ref":"refs/heads/coq-8.17","pushedAt":"2023-06-28T12:38:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"fix README","shortMessageHtmlLink":"fix README"}},{"before":null,"after":"0412641eb806634115d281628e3a512b978a841a","ref":"refs/heads/coq-8.17","pushedAt":"2023-06-28T12:25:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"CI: add coq 8.17","shortMessageHtmlLink":"CI: add coq 8.17"}},{"before":"c77a9a07d304e120be80a2d7e3ff81121831b60e","after":"f2ef98f7d13c5d71dd2a614ed2e6721703a34532","ref":"refs/heads/master","pushedAt":"2023-03-15T08:04:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fblanqui","name":"Frédéric Blanqui","path":"/fblanqui","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852505?s=80&v=4"},"commit":{"message":"Adapt to coq-community/bignums#74 (#46)","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1623754112\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/bignums/issues/74\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/bignums/pull/74/hovercard\" href=\"https://github.com/coq-community/bignums/pull/74\">coq-community/bignums#74</a> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1623915477\" data-permission-text=\"Title is private\" data-url=\"https://github.com/fblanqui/color/issues/46\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/fblanqui/color/pull/46/hovercard\" href=\"https://github.com/fblanqui/color/pull/46\">#46</a>)"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEuGKDygA","startCursor":null,"endCursor":null}},"title":"Activity · fblanqui/color"}