{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":250061406,"defaultBranch":"master","name":"graph-theory","ownerLogin":"coq-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-03-25T18:40:06.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/34452610?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1721149100.0","currentOid":""},"activityList":{"items":[{"before":"abeb7a94d43c83020cc317598d4293e4882df973","after":null,"ref":"refs/heads/mc_1240","pushedAt":"2024-07-16T16:58:20.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":"4bc29600fd8df75a34f6c0e9c18589c597742a60","after":"aa4e6cbde6c32eede72da32302f9e413a4573051","ref":"refs/heads/master","pushedAt":"2024-07-16T16:58:16.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 #41 from coq-community/mc_1240\n\nAdapt to mathc-omp/math-comp#1240","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2411171364\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/graph-theory/issues/41\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/graph-theory/pull/41/hovercard\" href=\"https://github.com/coq-community/graph-theory/pull/41\">#41</a> from coq-community/mc_1240"}},{"before":null,"after":"abeb7a94d43c83020cc317598d4293e4882df973","ref":"refs/heads/mc_1240","pushedAt":"2024-07-15T10:44:45.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 mathc-omp/math-comp#1240","shortMessageHtmlLink":"Adapt to mathc-omp/math-comp#1240"}},{"before":"5487c744c2286196575c06a54e6ed5bd3bf28a58","after":null,"ref":"refs/heads/mc_1223","pushedAt":"2024-06-29T16:03:49.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":"080d923bc84ad05d8e04864679afafeae70479fb","after":"4bc29600fd8df75a34f6c0e9c18589c597742a60","ref":"refs/heads/master","pushedAt":"2024-06-29T16:03:41.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 #40 from coq-community/mc_1223\n\nAdapt to https://github.com/math-comp/math-comp/pull/1223","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2381758390\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/graph-theory/issues/40\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/graph-theory/pull/40/hovercard\" href=\"https://github.com/coq-community/graph-theory/pull/40\">#40</a> from coq-community/mc_1223"}},{"before":"7d74030af4c0c5551dd047a8825879f5fd8389ba","after":"5487c744c2286196575c06a54e6ed5bd3bf28a58","ref":"refs/heads/mc_1223","pushedAt":"2024-06-29T15: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 https://github.com/math-comp/math-comp/pull/1223","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2358050184\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/1223\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/1223/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/1223\">math-comp/math-comp#1223</a>"}},{"before":null,"after":"7d74030af4c0c5551dd047a8825879f5fd8389ba","ref":"refs/heads/mc_1223","pushedAt":"2024-06-29T13:47:23.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/1223","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2358050184\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/1223\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/1223/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/1223\">math-comp/math-comp#1223</a>"}},{"before":"c443888102e0bd733bea40b140543931b920a2bc","after":null,"ref":"refs/heads/fix-have-opaque","pushedAt":"2024-06-26T18:44:47.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":"f047a60d12d127a0550ce9ac16857453e54d4cab","after":"080d923bc84ad05d8e04864679afafeae70479fb","ref":"refs/heads/master","pushedAt":"2024-06-26T18:44:44.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 #39 from coq-community/fix-have-opaque\n\navoid opaqueness of have in Coq 8.20 and later","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2375945750\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/graph-theory/issues/39\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/graph-theory/pull/39/hovercard\" href=\"https://github.com/coq-community/graph-theory/pull/39\">#39</a> from coq-community/fix-have-opaque"}},{"before":null,"after":"c443888102e0bd733bea40b140543931b920a2bc","ref":"refs/heads/fix-have-opaque","pushedAt":"2024-06-26T17:53:07.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":"avoid opaqueness of have in Coq 8.20 and later for transparent definitions","shortMessageHtmlLink":"avoid opaqueness of have in Coq 8.20 and later for transparent defini…"}},{"before":"922ea6556aaa01039921f012b30a948789ec6cec","after":null,"ref":"refs/heads/coq-8.20","pushedAt":"2024-03-20T15:55:04.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":"cf3c785f4ed961bbab913598db5ef542727c1233","after":"f047a60d12d127a0550ce9ac16857453e54d4cab","ref":"refs/heads/master","pushedAt":"2024-03-20T15:55:01.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 #38 from coq-community/coq-8.20\n\nCompatible with Coq 8.20","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2197599631\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/graph-theory/issues/38\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/graph-theory/pull/38/hovercard\" href=\"https://github.com/coq-community/graph-theory/pull/38\">#38</a> from coq-community/coq-8.20"}},{"before":"0757a35b478d8dfe868547ad3b485c43812ddb0d","after":"922ea6556aaa01039921f012b30a948789ec6cec","ref":"refs/heads/coq-8.20","pushedAt":"2024-03-20T14:47:44.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":"Drop Coq 8.17 support to be compatible with coq-dev (8.20)","shortMessageHtmlLink":"Drop Coq 8.17 support to be compatible with coq-dev (8.20)"}},{"before":"ed7ae395e4b9428e027facab0c65505eda07b37e","after":"0757a35b478d8dfe868547ad3b485c43812ddb0d","ref":"refs/heads/coq-8.20","pushedAt":"2024-03-20T14:46:40.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":"Drop Coq 8.17 support to be compatible with coq-dev (8.20)","shortMessageHtmlLink":"Drop Coq 8.17 support to be compatible with coq-dev (8.20)"}},{"before":"d69324b0e659f1e0b434d7d026cef99dfde6edc1","after":"ed7ae395e4b9428e027facab0c65505eda07b37e","ref":"refs/heads/coq-8.20","pushedAt":"2024-03-20T14:43:53.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":"Drop Coq 8.17 support to be compatible with coq-dev (8.20)","shortMessageHtmlLink":"Drop Coq 8.17 support to be compatible with coq-dev (8.20)"}},{"before":null,"after":"d69324b0e659f1e0b434d7d026cef99dfde6edc1","ref":"refs/heads/coq-8.20","pushedAt":"2024-03-20T13:54:53.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":"Compatible with Coq 8.20","shortMessageHtmlLink":"Compatible with Coq 8.20"}},{"before":"e44a5c55f85c07a9e45efc45221af0b3791b6870","after":null,"ref":"refs/heads/ci-8.19","pushedAt":"2024-01-28T20:40:10.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":"67c1d6f49d89adc129abeb0a2ab136d8c87c6f9e","after":"cf3c785f4ed961bbab913598db5ef542727c1233","ref":"refs/heads/master","pushedAt":"2024-01-28T20:40:07.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #37 from coq-community/ci-8.19\n\nCI for MathComp 2.2.0 and Coq 8.19","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2104321432\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/graph-theory/issues/37\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/graph-theory/pull/37/hovercard\" href=\"https://github.com/coq-community/graph-theory/pull/37\">#37</a> from coq-community/ci-8.19"}},{"before":null,"after":"e44a5c55f85c07a9e45efc45221af0b3791b6870","ref":"refs/heads/ci-8.19","pushedAt":"2024-01-28T19:48:24.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":"consistently use From X Require Y idiom","shortMessageHtmlLink":"consistently use From X Require Y idiom"}},{"before":"a94c6051a11b8f0270d71d86545d3efeb3f57bb8","after":null,"ref":"refs/heads/refresh-boilerplate","pushedAt":"2024-01-01T19:51:01.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":"34242fdee8c3e1edd455afd10930ded633237a03","after":"67c1d6f49d89adc129abeb0a2ab136d8c87c6f9e","ref":"refs/heads/master","pushedAt":"2024-01-01T19:50:57.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 #36 from coq-community/refresh-boilerplate\n\nrefresh boilerplate and ci","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2061731117\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/graph-theory/issues/36\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/graph-theory/pull/36/hovercard\" href=\"https://github.com/coq-community/graph-theory/pull/36\">#36</a> from coq-community/refresh-boilerplate"}},{"before":null,"after":"a94c6051a11b8f0270d71d86545d3efeb3f57bb8","ref":"refs/heads/refresh-boilerplate","pushedAt":"2024-01-01T19:26:37.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":"refresh boilerplate and ci","shortMessageHtmlLink":"refresh boilerplate and ci"}},{"before":"4e9965862f57d0464585c08871ec353c7d133a33","after":null,"ref":"refs/heads/mc_1110","pushedAt":"2023-11-07T14:07:44.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":"80013ad32113805aa67a73beba2cf8c79692ef25","after":"34242fdee8c3e1edd455afd10930ded633237a03","ref":"refs/heads/master","pushedAt":"2023-11-07T14:07:41.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #35 from coq-community/mc_1110\n\nAdapt to coq/coq#17576 and math-comp/math-comp#1110","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1981019295\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/graph-theory/issues/35\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/graph-theory/pull/35/hovercard\" href=\"https://github.com/coq-community/graph-theory/pull/35\">#35</a> from coq-community/mc_1110"}},{"before":"25f62287308f0690473440b3ab449ea3475702e7","after":"4e9965862f57d0464585c08871ec353c7d133a33","ref":"refs/heads/mc_1110","pushedAt":"2023-11-07T11:01:53.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 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":null,"after":"25f62287308f0690473440b3ab449ea3475702e7","ref":"refs/heads/mc_1110","pushedAt":"2023-11-07T10:20:21.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":"f000a6698f16ce8ff2beab8d3c2a461400a7a552","after":null,"ref":"refs/heads/ci-8.18","pushedAt":"2023-08-19T07:57:18.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":"f710b6259432735f5c44c933bb649d863d005696","after":"80013ad32113805aa67a73beba2cf8c79692ef25","ref":"refs/heads/master","pushedAt":"2023-08-19T06:52:41.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"damien-pous","name":"Damien Pous","path":"/damien-pous","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9704007?s=80&v=4"},"commit":{"message":"Merge pull request #34 from coq-community/ci-8.18\n\nCI for Coq 8.18","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1856795155\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/graph-theory/issues/34\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/graph-theory/pull/34/hovercard\" href=\"https://github.com/coq-community/graph-theory/pull/34\">#34</a> from coq-community/ci-8.18"}},{"before":null,"after":"f000a6698f16ce8ff2beab8d3c2a461400a7a552","ref":"refs/heads/ci-8.18","pushedAt":"2023-08-18T14:11:56.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":"CI for Coq 8.18, opam refresh","shortMessageHtmlLink":"CI for Coq 8.18, opam refresh"}},{"before":"cf8d2bb7d9baea32491b996ca06a2c5218153ed3","after":null,"ref":"refs/heads/coq_17484","pushedAt":"2023-07-08T18:02:29.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"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEgQTF2AA","startCursor":null,"endCursor":null}},"title":"Activity · coq-community/graph-theory"}