{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":1928229,"defaultBranch":"master","name":"corn","ownerLogin":"coq-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2011-06-21T09:06:53.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/34452610?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1713882007.0","currentOid":""},"activityList":{"items":[{"before":"c30c93a8ce26b3b84e628ff921cfaf0df96f73f6","after":"5e74c2920f76c9888e70dba466b92787dcf0d077","ref":"refs/heads/master","pushedAt":"2024-04-17T13:46:50.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 #206 from andres-erbsen/remove-Ndigits\n\nremove unneeded Ndigits dependency (adapt to coq/coq#18936)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2245054697\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/corn/issues/206\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/corn/pull/206/hovercard\" href=\"https://github.com/coq-community/corn/pull/206\">#206</a> from andres-erbsen/remove-Ndigits"}},{"before":"807faaddf00d75c365761a03e193baa2e40ac6df","after":null,"ref":"refs/heads/coq_18880","pushedAt":"2024-04-12T08:59:30.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":"bdb702dd4518c2435fd142ae652c607ee2e150b1","after":"c30c93a8ce26b3b84e628ff921cfaf0df96f73f6","ref":"refs/heads/master","pushedAt":"2024-04-12T08:59: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 #205 from coq-community/coq_18880\n\nAdapt to https://github.com/coq/coq/pull/18880","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2239357583\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/corn/issues/205\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/corn/pull/205/hovercard\" href=\"https://github.com/coq-community/corn/pull/205\">#205</a> from coq-community/coq_18880"}},{"before":null,"after":"807faaddf00d75c365761a03e193baa2e40ac6df","ref":"refs/heads/coq_18880","pushedAt":"2024-04-12T08:09:33.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/18880","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2220462199\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18880\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18880/hovercard\" href=\"https://github.com/coq/coq/pull/18880\">coq/coq#18880</a>"}},{"before":"9ed2c9fde8e7a370fed031ec10ffcc4faa962769","after":null,"ref":"refs/heads/coq_18590","pushedAt":"2024-02-01T12:51:17.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":"79e7ee7cc878cd98077d16cfbac12b8133a13805","after":"bdb702dd4518c2435fd142ae652c607ee2e150b1","ref":"refs/heads/master","pushedAt":"2024-02-01T10:26:40.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 #203 from coq-community/coq_18590\n\nAdapt to https://github.com/coq/coq/pull/18590","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2112100504\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/corn/issues/203\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/corn/pull/203/hovercard\" href=\"https://github.com/coq-community/corn/pull/203\">#203</a> from coq-community/coq_18590"}},{"before":null,"after":"9ed2c9fde8e7a370fed031ec10ffcc4faa962769","ref":"refs/heads/coq_18590","pushedAt":"2024-02-01T10:14:44.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/18590","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2108207360\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18590\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18590/hovercard\" href=\"https://github.com/coq/coq/pull/18590\">coq/coq#18590</a>"}},{"before":"a6158dc95255f2b36520f066b93111da4a919143","after":"79e7ee7cc878cd98077d16cfbac12b8133a13805","ref":"refs/heads/master","pushedAt":"2023-11-10T09:36:45.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"spitters","name":"Bas Spitters","path":"/spitters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/210638?s=80&v=4"},"commit":{"message":"Merge pull request #202 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=\"1983418647\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/corn/issues/202\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/corn/pull/202/hovercard\" href=\"https://github.com/coq-community/corn/pull/202\">#202</a> from Villetaneuse/rm_arith_files"}},{"before":"fbb6324fffb25eef8b8e13aa3d71842d5d197356","after":null,"ref":"refs/heads/coq-8.18","pushedAt":"2023-10-16T15:40:09.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"}},{"before":"f865fa8001684695ce5a6d0e29f6ddf23c3e749f","after":"a6158dc95255f2b36520f066b93111da4a919143","ref":"refs/heads/master","pushedAt":"2023-10-16T15:39:53.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Merge pull request #201 from coq-community/coq-8.18\n\nUpdate testing to Coq 8.18.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1945385196\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/corn/issues/201\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/corn/pull/201/hovercard\" href=\"https://github.com/coq-community/corn/pull/201\">#201</a> from coq-community/coq-8.18"}},{"before":null,"after":"fbb6324fffb25eef8b8e13aa3d71842d5d197356","ref":"refs/heads/coq-8.18","pushedAt":"2023-10-16T14:43:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Update testing to Coq 8.18.","shortMessageHtmlLink":"Update testing to Coq 8.18."}},{"before":"6641c678192a17b286906463feff47becd9587e3","after":null,"ref":"refs/heads/master+adapting-cast-using-scope-bound-to-type","pushedAt":"2023-10-05T14:22:52.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":"c08a0418f97a04ea7a6cdc3a930561cc8fc84d82","after":"f865fa8001684695ce5a6d0e29f6ddf23c3e749f","ref":"refs/heads/master","pushedAt":"2023-10-05T14:22: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 #199 from coq-community/master+adapting-cast-using-scope-bound-to-type\n\nAdapting to interpretation of (x:T) now activating scope for T if any.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1913060086\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/corn/issues/199\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/corn/pull/199/hovercard\" href=\"https://github.com/coq-community/corn/pull/199\">#199</a> from coq-community/master+adapting-cast-using…"}},{"before":null,"after":"6641c678192a17b286906463feff47becd9587e3","ref":"refs/heads/master+adapting-cast-using-scope-bound-to-type","pushedAt":"2023-09-26T09:10: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":"Adapting to interpretation of (x:T) now activating scope for T if any.\n\nThese were situations where the cast was needed to hint type class\ninference but the body was expected to be interpreted in the\ntype-class (current) scope rather than in the more specialized scope\nbound to the cast type.\n\nWe add a \"%mc\" to force using the type-class based generic\ninterpretation.","shortMessageHtmlLink":"Adapting to interpretation of (x:T) now activating scope for T if any."}},{"before":"48735cad35c6730740fd1badf30d5732330f9faa","after":"c08a0418f97a04ea7a6cdc3a930561cc8fc84d82","ref":"refs/heads/master","pushedAt":"2023-05-31T18:02:48.296Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"spitters","name":"Bas Spitters","path":"/spitters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/210638?s=80&v=4"},"commit":{"message":"Merge pull request #198 from anandadalton/deprecations\n\nRemove deprecated options/flags","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1734508616\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/corn/issues/198\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/corn/pull/198/hovercard\" href=\"https://github.com/coq-community/corn/pull/198\">#198</a> from anandadalton/deprecations"}},{"before":"ca473071d3893d103cd92c31d65a7fb42f669b38","after":"48735cad35c6730740fd1badf30d5732330f9faa","ref":"refs/heads/master","pushedAt":"2023-05-31T14:02:47.267Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"spitters","name":"Bas Spitters","path":"/spitters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/210638?s=80&v=4"},"commit":{"message":"Merge pull request #197 from anandadalton/configure_sh\n\nRemove conditional from configure.sh","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1732928778\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/corn/issues/197\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/corn/pull/197/hovercard\" href=\"https://github.com/coq-community/corn/pull/197\">#197</a> from anandadalton/configure_sh"}},{"before":"b446ae7ba395e01551e316ba62c22ae694bf4408","after":"ca473071d3893d103cd92c31d65a7fb42f669b38","ref":"refs/heads/master","pushedAt":"2023-05-26T09:50:49.327Z","pushType":"pr_merge","commitsCount":18,"pusher":{"login":"spitters","name":"Bas Spitters","path":"/spitters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/210638?s=80&v=4"},"commit":{"message":"Merge pull request #195 from anandadalton/easy_fixes\n\nDeprecating notation","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1726563052\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/corn/issues/195\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/corn/pull/195/hovercard\" href=\"https://github.com/coq-community/corn/pull/195\">#195</a> from anandadalton/easy_fixes"}},{"before":"e358180877bdd351c912a37504695042df533b91","after":"b446ae7ba395e01551e316ba62c22ae694bf4408","ref":"refs/heads/master","pushedAt":"2023-05-24T19:08:47.216Z","pushType":"pr_merge","commitsCount":13,"pusher":{"login":"spitters","name":"Bas Spitters","path":"/spitters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/210638?s=80&v=4"},"commit":{"message":"Merge pull request #194 from anandadalton/easy_fixes\n\nDeprecated notations","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1724526776\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/corn/issues/194\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/corn/pull/194/hovercard\" href=\"https://github.com/coq-community/corn/pull/194\">#194</a> from anandadalton/easy_fixes"}},{"before":"ad827d3ef726750a56e9cb2f529540281c7985e4","after":"e358180877bdd351c912a37504695042df533b91","ref":"refs/heads/master","pushedAt":"2023-05-22T19:22:42.828Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"spitters","name":"Bas Spitters","path":"/spitters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/210638?s=80&v=4"},"commit":{"message":"Merge pull request #191 from anandadalton/easy_fixes\n\nMore deprecations of notation","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1720096692\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/corn/issues/191\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/corn/pull/191/hovercard\" href=\"https://github.com/coq-community/corn/pull/191\">#191</a> from anandadalton/easy_fixes"}},{"before":"afa55ac0267c418be9b2d103c2766e6d27afdf07","after":"ad827d3ef726750a56e9cb2f529540281c7985e4","ref":"refs/heads/master","pushedAt":"2023-05-20T06:11:48.248Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"spitters","name":"Bas Spitters","path":"/spitters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/210638?s=80&v=4"},"commit":{"message":"Merge pull request #190 from anandadalton/easy_fixes\n\nDeprecate le_not_lt for Nat.le_ngt","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1717977852\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/corn/issues/190\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/corn/pull/190/hovercard\" href=\"https://github.com/coq-community/corn/pull/190\">#190</a> from anandadalton/easy_fixes"}},{"before":"40b07906fba90e40f0a78980209a5cdc17041a35","after":"afa55ac0267c418be9b2d103c2766e6d27afdf07","ref":"refs/heads/master","pushedAt":"2023-05-19T11:57:34.357Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"spitters","name":"Bas Spitters","path":"/spitters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/210638?s=80&v=4"},"commit":{"message":"Merge pull request #189 from anandadalton/easy_fixes\n\nMore notation deprecations.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1715903560\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/corn/issues/189\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/corn/pull/189/hovercard\" href=\"https://github.com/coq-community/corn/pull/189\">#189</a> from anandadalton/easy_fixes"}},{"before":"839453865f75059525647c6fd67ff14052755cb2","after":"40b07906fba90e40f0a78980209a5cdc17041a35","ref":"refs/heads/master","pushedAt":"2023-05-18T08:34:58.538Z","pushType":"pr_merge","commitsCount":31,"pusher":{"login":"spitters","name":"Bas Spitters","path":"/spitters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/210638?s=80&v=4"},"commit":{"message":"Merge pull request #188 from anandadalton/easy_fixes\n\nMore fixes for deprecated notation warnings","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1714353706\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/corn/issues/188\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/corn/pull/188/hovercard\" href=\"https://github.com/coq-community/corn/pull/188\">#188</a> from anandadalton/easy_fixes"}},{"before":"3a0d298a6aa8d46c3f4f6170291ac93ce0b95d14","after":"839453865f75059525647c6fd67ff14052755cb2","ref":"refs/heads/master","pushedAt":"2023-05-17T07:53:23.504Z","pushType":"pr_merge","commitsCount":11,"pusher":{"login":"spitters","name":"Bas Spitters","path":"/spitters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/210638?s=80&v=4"},"commit":{"message":"Merge pull request #187 from anandadalton/easy_fixes\n\nRemove more deprecated notations","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1713262607\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/corn/issues/187\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/corn/pull/187/hovercard\" href=\"https://github.com/coq-community/corn/pull/187\">#187</a> from anandadalton/easy_fixes"}},{"before":"e3c09eebf7fc2d65d5a92c12966d8ebbf20d8a26","after":"3a0d298a6aa8d46c3f4f6170291ac93ce0b95d14","ref":"refs/heads/master","pushedAt":"2023-05-16T17:34:31.388Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"spitters","name":"Bas Spitters","path":"/spitters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/210638?s=80&v=4"},"commit":{"message":"Merge pull request #186 from anandadalton/lt_le_trans\n\nRemove more deprecated notations.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1712410864\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/corn/issues/186\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/corn/pull/186/hovercard\" href=\"https://github.com/coq-community/corn/pull/186\">#186</a> from anandadalton/lt_le_trans"}},{"before":"6e6d3754add2390f3c3ba5ab3845371ee8ec8cb0","after":"e3c09eebf7fc2d65d5a92c12966d8ebbf20d8a26","ref":"refs/heads/master","pushedAt":"2023-05-16T07:33:47.567Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"spitters","name":"Bas Spitters","path":"/spitters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/210638?s=80&v=4"},"commit":{"message":"Merge pull request #185 from anandadalton/lt_le_trans\n\nReplace deprecated proof components","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1710250466\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/corn/issues/185\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/corn/pull/185/hovercard\" href=\"https://github.com/coq-community/corn/pull/185\">#185</a> from anandadalton/lt_le_trans"}},{"before":"074628df3f0a7ec2170fecafa69d8a76ea47fd27","after":"6e6d3754add2390f3c3ba5ab3845371ee8ec8cb0","ref":"refs/heads/master","pushedAt":"2023-05-14T14:29:59.952Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"spitters","name":"Bas Spitters","path":"/spitters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/210638?s=80&v=4"},"commit":{"message":"Merge pull request #184 from anandadalton/lt_le_trans\n\nReplace max with Nat.max throughout.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1708664884\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/corn/issues/184\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/corn/pull/184/hovercard\" href=\"https://github.com/coq-community/corn/pull/184\">#184</a> from anandadalton/lt_le_trans"}},{"before":"bd3b01119785378a2f0351da89ff08fb74a5370f","after":"074628df3f0a7ec2170fecafa69d8a76ea47fd27","ref":"refs/heads/master","pushedAt":"2023-05-13T11:18:23.555Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"spitters","name":"Bas Spitters","path":"/spitters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/210638?s=80&v=4"},"commit":{"message":"Merge pull request #183 from anandadalton/lt_le_trans\n\nSource lt/le/lt_le/le_lt_trans from library.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1708362548\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/corn/issues/183\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/corn/pull/183/hovercard\" href=\"https://github.com/coq-community/corn/pull/183\">#183</a> from anandadalton/lt_le_trans"}},{"before":"debdc46c42f3eecbdbd7705362db7e2b3a575a2e","after":"bd3b01119785378a2f0351da89ff08fb74a5370f","ref":"refs/heads/master","pushedAt":"2023-05-09T13:50:54.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"spitters","name":"Bas Spitters","path":"/spitters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/210638?s=80&v=4"},"commit":{"message":"Merge pull request #179 from anandadalton/supported_versions\n\nRemove support for untested versions of Coq.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1696479860\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/corn/issues/179\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/corn/pull/179/hovercard\" href=\"https://github.com/coq-community/corn/pull/179\">#179</a> from anandadalton/supported_versions"}},{"before":"2ebcc9212ca79fed65ec0376ab387386ded8ae34","after":"debdc46c42f3eecbdbd7705362db7e2b3a575a2e","ref":"refs/heads/master","pushedAt":"2023-05-05T13:17:43.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 #180 from ppedrot/case-pf-pose-dependent-metas\n\nAdapt w.r.t. coq/coq#17564.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1697189785\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/corn/issues/180\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/corn/pull/180/hovercard\" href=\"https://github.com/coq-community/corn/pull/180\">#180</a> from ppedrot/case-pf-pose-dependent-metas"}},{"before":"337872870d37ef4ff89c11414e94f8b5e640193a","after":"2ebcc9212ca79fed65ec0376ab387386ded8ae34","ref":"refs/heads/master","pushedAt":"2023-04-26T07:49:53.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"spitters","name":"Bas Spitters","path":"/spitters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/210638?s=80&v=4"},"commit":{"message":"Merge pull request #178 from joaquimpuig/patch-1\n\nUpdate Picard.v","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1683791882\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/corn/issues/178\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/corn/pull/178/hovercard\" href=\"https://github.com/coq-community/corn/pull/178\">#178</a> from joaquimpuig/patch-1"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEMyPKUwA","startCursor":null,"endCursor":null}},"title":"Activity · coq-community/corn"}