{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":17204088,"defaultBranch":"coq-master","name":"coq-dpdgraph","ownerLogin":"coq-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-02-26T08:30:23.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/34452610?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1711025091.0","currentOid":""},"activityList":{"items":[{"before":"03be5d0dfd438336ba16691192df0816a5bec889","after":"83711f445936dc8a2d09581edccece934d34a8d4","ref":"refs/heads/coq-master","pushedAt":"2024-03-21T13:37:29.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ybertot","name":"Yves Bertot","path":"/ybertot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3407333?s=80&v=4"},"commit":{"message":"make sure the make clean directive also removes the PrimitiveProjections.vo file","shortMessageHtmlLink":"make sure the make clean directive also removes the PrimitiveProjecti…"}},{"before":null,"after":"c0ce4997cd29fbd729705922cbdd295d8e3593f3","ref":"refs/heads/coq-v8.19","pushedAt":"2024-03-21T12:39:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ybertot","name":"Yves Bertot","path":"/ybertot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3407333?s=80&v=4"},"commit":{"message":"the test files had a lot of warnings, the clean directive was incomplete","shortMessageHtmlLink":"the test files had a lot of warnings, the clean directive was incomplete"}},{"before":"8452ebdebb34f66c0b87b39b757784090772fd49","after":"03be5d0dfd438336ba16691192df0816a5bec889","ref":"refs/heads/coq-master","pushedAt":"2024-02-21T13:40:58.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"SkySkimmer","name":"Gaëtan Gilbert","path":"/SkySkimmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2461932?s=80&v=4"},"commit":{"message":"Merge pull request #129 from Yann-Leray/rewrite-rules","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2118667951\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coq-dpdgraph/issues/129\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coq-dpdgraph/pull/129/hovercard\" href=\"https://github.com/coq-community/coq-dpdgraph/pull/129\">#129</a> from Yann-Leray/rewrite-rules"}},{"before":"85660acd70ca31f2fd74bed500235b01c47092b4","after":"8452ebdebb34f66c0b87b39b757784090772fd49","ref":"refs/heads/coq-master","pushedAt":"2023-11-21T15:24:16.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ppedrot","name":"Pierre-Marie Pédrot","path":"/ppedrot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1202327?s=80&v=4"},"commit":{"message":"Merge pull request #126 from Villetaneuse/rm_arith_files\n\nAdapt to Coq/Coq#18164","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1955626676\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coq-dpdgraph/issues/126\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coq-dpdgraph/pull/126/hovercard\" href=\"https://github.com/coq-community/coq-dpdgraph/pull/126\">#126</a> from Villetaneuse/rm_arith_files"}},{"before":"7ac14613e72200fb59dc9f6dc25431f92f8d91c3","after":"85660acd70ca31f2fd74bed500235b01c47092b4","ref":"refs/heads/coq-master","pushedAt":"2023-11-06T20:43:40.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ppedrot","name":"Pierre-Marie Pédrot","path":"/ppedrot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1202327?s=80&v=4"},"commit":{"message":"Merge pull request #123 from SkySkimmer/sort-poly\n\nAdapt to coq/coq#17836 (sort poly)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1902987352\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coq-dpdgraph/issues/123\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coq-dpdgraph/pull/123/hovercard\" href=\"https://github.com/coq-community/coq-dpdgraph/pull/123\">#123</a> from SkySkimmer/sort-poly"}},{"before":null,"after":"712311fe18b60a8a460d0efd38d4ae1159b25fe6","ref":"refs/heads/coq-v8.18","pushedAt":"2023-10-24T06:23:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ybertot","name":"Yves Bertot","path":"/ybertot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3407333?s=80&v=4"},"commit":{"message":"release for coq-8.18, configure.ac and meta.yml edited by hand, the rest\ngenerated by templates/generate.sh","shortMessageHtmlLink":"release for coq-8.18, configure.ac and meta.yml edited by hand, the rest"}},{"before":"3433d7e7e242179afc94af4ebd19032055b714c5","after":"7ac14613e72200fb59dc9f6dc25431f92f8d91c3","ref":"refs/heads/coq-master","pushedAt":"2023-09-08T13:18:01.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ppedrot","name":"Pierre-Marie Pédrot","path":"/ppedrot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1202327?s=80&v=4"},"commit":{"message":"Merge pull request #122 from herbelin/coq-master+adapt-coq-pr17987-search-pass-sigma\n\nAdapt to Coq PR #17987 which adds sigma to the API of search functions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1873780250\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coq-dpdgraph/issues/122\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coq-dpdgraph/pull/122/hovercard\" href=\"https://github.com/coq-community/coq-dpdgraph/pull/122\">#122</a> from herbelin/coq-master+adapt-coq-pr17987-se…"}},{"before":"8b4291573cc12a03d7e703e00dd82e5e80e5d446","after":"3433d7e7e242179afc94af4ebd19032055b714c5","ref":"refs/heads/coq-master","pushedAt":"2023-08-16T08:07:22.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ppedrot","name":"Pierre-Marie Pédrot","path":"/ppedrot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1202327?s=80&v=4"},"commit":{"message":"Merge pull request #121 from SkySkimmer/search-restr\n\nAdapt to coq/coq#17928 (Search uses search_restriction instead of bool)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1843381579\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coq-dpdgraph/issues/121\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coq-dpdgraph/pull/121/hovercard\" href=\"https://github.com/coq-community/coq-dpdgraph/pull/121\">#121</a> from SkySkimmer/search-restr"}},{"before":"f31aa216d11144906c8ac352522b38b90ea8cab8","after":"8b4291573cc12a03d7e703e00dd82e5e80e5d446","ref":"refs/heads/coq-master","pushedAt":"2023-05-17T10:51:03.822Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"SkySkimmer","name":"Gaëtan Gilbert","path":"/SkySkimmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2461932?s=80&v=4"},"commit":{"message":"Merge pull request #118 from SkySkimmer/elpi-backtrack","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1713621553\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coq-dpdgraph/issues/118\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coq-dpdgraph/pull/118/hovercard\" href=\"https://github.com/coq-community/coq-dpdgraph/pull/118\">#118</a> from SkySkimmer/elpi-backtrack"}},{"before":"da7ac9028d1a3281d134377e406072f27fd11c37","after":"f31aa216d11144906c8ac352522b38b90ea8cab8","ref":"refs/heads/coq-master","pushedAt":"2023-04-05T15:13:47.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"SkySkimmer","name":"Gaëtan Gilbert","path":"/SkySkimmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2461932?s=80&v=4"},"commit":{"message":"Merge pull request #117 from ppedrot/case-pf-ensure-shape","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1652541883\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coq-dpdgraph/issues/117\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coq-dpdgraph/pull/117/hovercard\" href=\"https://github.com/coq-community/coq-dpdgraph/pull/117\">#117</a> from ppedrot/case-pf-ensure-shape"}},{"before":null,"after":"d52650af2cf127717017fad2ba79ba6bf64a2f35","ref":"refs/heads/coq-v8.17","pushedAt":"2023-03-23T15:28:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ybertot","name":"Yves Bertot","path":"/ybertot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3407333?s=80&v=4"},"commit":{"message":"release for coq-8.17, configure.ac and meta.yml edited by hand, the rest\ngenerated by templates/generate.sh","shortMessageHtmlLink":"release for coq-8.17, configure.ac and meta.yml edited by hand, the rest"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEG8Xq9QA","startCursor":null,"endCursor":null}},"title":"Activity · coq-community/coq-dpdgraph"}