{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":1377159,"defaultBranch":"master","name":"coq","ownerLogin":"coq","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2011-02-17T05:49:37.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/621198?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1709556870.0","currentOid":""},"activityList":{"items":[{"before":"12ae6f264f8ab7d2c275984aa761bea544c045c7","after":"7e92c036b9478c2e6d2654394d8fc24870f1edc6","ref":"refs/heads/master","pushedAt":"2024-05-28T15:41:42.000Z","pushType":"pr_merge","commitsCount":13,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #18795: Towards a more uniform API for declare.ml (part declaring mutual statements)\n\nReviewed-by: ppedrot\nReviewed-by: ejgallego\nCo-authored-by: ppedrot <ppedrot@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2186423623\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18795\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18795/hovercard\" href=\"https://github.com/coq/coq/pull/18795\">#18795</a>: Towards a more uniform API for declare.ml (part decl…"}},{"before":"9d772b51a43d40505a8f14abe6c4ebae7af0f966","after":"12ae6f264f8ab7d2c275984aa761bea544c045c7","ref":"refs/heads/master","pushedAt":"2024-05-28T15:21:26.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #19093: Fix file extensions in CODEOWNERS.\n\nReviewed-by: silene\nCo-authored-by: silene <silene@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2318976850\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19093\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19093/hovercard\" href=\"https://github.com/coq/coq/pull/19093\">#19093</a>: Fix file extensions in CODEOWNERS."}},{"before":"00b1b52430e4a0b504e603838b1c1f5930e2f5b2","after":"9d772b51a43d40505a8f14abe6c4ebae7af0f966","ref":"refs/heads/master","pushedAt":"2024-05-28T12:04:53.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #19096: Fix stage of ltac2 notation interp map (Tac2env.ltac_notations)\n\nReviewed-by: ppedrot\nCo-authored-by: ppedrot <ppedrot@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2319173094\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19096\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19096/hovercard\" href=\"https://github.com/coq/coq/pull/19096\">#19096</a>: Fix stage of ltac2 notation interp map (Tac2env.ltac…"}},{"before":"d4dfa2c69ee20b9e1d757f008b940d12f3ad4872","after":"00b1b52430e4a0b504e603838b1c1f5930e2f5b2","ref":"refs/heads/master","pushedAt":"2024-05-28T08:46:03.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #19034: More efficient compilation of PArray blobs in the VM.\n\nReviewed-by: silene\nCo-authored-by: silene <silene@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2300348247\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19034\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19034/hovercard\" href=\"https://github.com/coq/coq/pull/19034\">#19034</a>: More efficient compilation of PArray blobs in the VM."}},{"before":"4d1f88853dc29c8604a92e77043eaaa38fca5490","after":"d4dfa2c69ee20b9e1d757f008b940d12f3ad4872","ref":"refs/heads/master","pushedAt":"2024-05-27T19:46:41.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #19097: Avoid async proofs messing up test output/auto\n\nReviewed-by: ppedrot\nCo-authored-by: ppedrot <ppedrot@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2319210976\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19097\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19097/hovercard\" href=\"https://github.com/coq/coq/pull/19097\">#19097</a>: Avoid async proofs messing up test output/auto"}},{"before":"827020de1e79dee0c222525f31a485283473d45b","after":"4d1f88853dc29c8604a92e77043eaaa38fca5490","ref":"refs/heads/master","pushedAt":"2024-05-27T11:34:14.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #19083: Various typos, as well as parentheses and spacing enhancement\n\nReviewed-by: SkySkimmer\nCo-authored-by: SkySkimmer <SkySkimmer@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2316849473\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19083\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19083/hovercard\" href=\"https://github.com/coq/coq/pull/19083\">#19083</a>: Various typos, as well as parentheses and spacing en…"}},{"before":"ed9fe8e2351ff59f662c3950c1cb07813db312bd","after":"827020de1e79dee0c222525f31a485283473d45b","ref":"refs/heads/master","pushedAt":"2024-05-27T09:30:15.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #19086: A few complex guard condition tests found in CI\n\nReviewed-by: proux01\nAck-by: ppedrot\nCo-authored-by: proux01 <proux01@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2316881434\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19086\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19086/hovercard\" href=\"https://github.com/coq/coq/pull/19086\">#19086</a>: A few complex guard condition tests found in CI"}},{"before":"21efd89d1c26ed8c744641eefe87d508b5bb118e","after":"ed9fe8e2351ff59f662c3950c1cb07813db312bd","ref":"refs/heads/master","pushedAt":"2024-05-26T13:01:30.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #19089: Fixes #18914: check for overlap between notations was too confidently assuming being in the same entry\n\nReviewed-by: proux01\nCo-authored-by: proux01 <proux01@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2317557421\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19089\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19089/hovercard\" href=\"https://github.com/coq/coq/pull/19089\">#19089</a>: <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #18914.\">Fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2232655206\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18914\" data-hovercard-type=\"issue\" data-hovercard-url=\"/coq/coq/issues/18914/hovercard\" href=\"https://github.com/coq/coq/issues/18914\">#18914</a>: check for overlap between notations wa…"}},{"before":"466a853807cf44eaa40d7fd5a6d157aeafd2f3d0","after":"21efd89d1c26ed8c744641eefe87d508b5bb118e","ref":"refs/heads/master","pushedAt":"2024-05-26T11:47:56.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #19080: include_constructor_argument don't ignore sort quality when not univ poly\n\nReviewed-by: ppedrot\nCo-authored-by: ppedrot <ppedrot@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2315449622\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19080\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19080/hovercard\" href=\"https://github.com/coq/coq/pull/19080\">#19080</a>: include_constructor_argument don't ignore sort quali…"}},{"before":"c4ae777b5971ba4595d44cd254d59c7d7b19aeba","after":"466a853807cf44eaa40d7fd5a6d157aeafd2f3d0","ref":"refs/heads/master","pushedAt":"2024-05-26T11:30:06.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #19088: Fixes #19082: regression with primitive projections with defined fields\n\nReviewed-by: ppedrot\nCo-authored-by: ppedrot <ppedrot@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2317246840\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19088\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19088/hovercard\" href=\"https://github.com/coq/coq/pull/19088\">#19088</a>: <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #19082.\">Fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2316038608\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19082\" data-hovercard-type=\"issue\" data-hovercard-url=\"/coq/coq/issues/19082/hovercard\" href=\"https://github.com/coq/coq/issues/19082\">#19082</a>: regression with primitive projections …"}},{"before":"447349e5b6365e0738154a60517e212948e11034","after":"c4ae777b5971ba4595d44cd254d59c7d7b19aeba","ref":"refs/heads/master","pushedAt":"2024-05-25T22:03:38.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #19085: Canonically renaming List.safe_index into List.index_opt\n\nReviewed-by: ppedrot\nCo-authored-by: ppedrot <ppedrot@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2316866141\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19085\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19085/hovercard\" href=\"https://github.com/coq/coq/pull/19085\">#19085</a>: Canonically renaming List.safe_index into List.index…"}},{"before":"34411e91833b1894eaab77d1e6b01b50dd46f4ee","after":"447349e5b6365e0738154a60517e212948e11034","ref":"refs/heads/master","pushedAt":"2024-05-24T15:24:51.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #19027: Remove the cutrewrite tactic.\n\nReviewed-by: SkySkimmer\nCo-authored-by: SkySkimmer <SkySkimmer@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2297700588\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19027\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19027/hovercard\" href=\"https://github.com/coq/coq/pull/19027\">#19027</a>: Remove the cutrewrite tactic."}},{"before":"fa5684dc01a98b73faf821c04d8a7457d226c219","after":"34411e91833b1894eaab77d1e6b01b50dd46f4ee","ref":"refs/heads/master","pushedAt":"2024-05-24T12:41:18.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #19050: Code factorization around Evarutil.finalize and prepare_obligations\n\nReviewed-by: SkySkimmer\nCo-authored-by: SkySkimmer <SkySkimmer@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2303425102\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19050\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19050/hovercard\" href=\"https://github.com/coq/coq/pull/19050\">#19050</a>: Code factorization around Evarutil.finalize and prep…"}},{"before":"ed1ed303a28083e64a44c4241c7899b5053e8e25","after":"fa5684dc01a98b73faf821c04d8a7457d226c219","ref":"refs/heads/master","pushedAt":"2024-05-24T09:39:03.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #19065: Tweak a weird syntax in CClosure.\n\nReviewed-by: SkySkimmer\nCo-authored-by: SkySkimmer <SkySkimmer@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2310000724\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19065\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19065/hovercard\" href=\"https://github.com/coq/coq/pull/19065\">#19065</a>: Tweak a weird syntax in CClosure."}},{"before":"507905dda2a2885050e2efffa376101ee4aaae3d","after":"ed1ed303a28083e64a44c4241c7899b5053e8e25","ref":"refs/heads/master","pushedAt":"2024-05-24T09:17:45.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #18967: Add a PUSHACCMANY opcode.\n\nReviewed-by: ppedrot\nCo-authored-by: ppedrot <ppedrot@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2258680802\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18967\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18967/hovercard\" href=\"https://github.com/coq/coq/pull/18967\">#18967</a>: Add a PUSHACCMANY opcode."}},{"before":"4cd884b33cf83b04de0e5c45d7bad45b29e962ec","after":"507905dda2a2885050e2efffa376101ee4aaae3d","ref":"refs/heads/master","pushedAt":"2024-05-24T09:16:39.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #18964: Add a PUSHENVACCMANY opcode.\n\nReviewed-by: ppedrot\nCo-authored-by: ppedrot <ppedrot@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2256556588\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18964\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18964/hovercard\" href=\"https://github.com/coq/coq/pull/18964\">#18964</a>: Add a PUSHENVACCMANY opcode."}},{"before":"50cd98264f37f872227c51636267e47173fba20a","after":"4cd884b33cf83b04de0e5c45d7bad45b29e962ec","ref":"refs/heads/master","pushedAt":"2024-05-24T09:15:28.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #19076: Avoid using async proofs cache in output tests\n\nReviewed-by: ppedrot\nReviewed-by: gares\nCo-authored-by: ppedrot <ppedrot@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2313151692\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19076\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19076/hovercard\" href=\"https://github.com/coq/coq/pull/19076\">#19076</a>: Avoid using async proofs cache in output tests"}},{"before":"c67390eb68c244653171f3dcd78672dfabc9cba7","after":"50cd98264f37f872227c51636267e47173fba20a","ref":"refs/heads/master","pushedAt":"2024-05-24T08:48:43.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #18727: Ltac2: don't use delayed_of_tactic for apply terms\n\nReviewed-by: ppedrot\nCo-authored-by: ppedrot <ppedrot@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2159310435\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18727\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18727/hovercard\" href=\"https://github.com/coq/coq/pull/18727\">#18727</a>: Ltac2: don't use delayed_of_tactic for apply terms"}},{"before":"e05a8eea9fafd242a1e41272d8f9dbbcdabca1e5","after":"c67390eb68c244653171f3dcd78672dfabc9cba7","ref":"refs/heads/master","pushedAt":"2024-05-24T08:48:17.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #19069: Switch default locality for TC transparency to Export + followup cleanup\n\nReviewed-by: ppedrot\nCo-authored-by: ppedrot <ppedrot@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2310315866\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19069\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19069/hovercard\" href=\"https://github.com/coq/coq/pull/19069\">#19069</a>: Switch default locality for TC transparency to Expor…"}},{"before":"7094238874a4e58f7fb2e35f2c2edb30b05d3ed6","after":"e05a8eea9fafd242a1e41272d8f9dbbcdabca1e5","ref":"refs/heads/master","pushedAt":"2024-05-23T15:59:59.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #19057: Adding change log for PR #18873 (anomaly instead of error on missing obligation of some name)\n\nReviewed-by: ppedrot\nCo-authored-by: ppedrot <ppedrot@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2305967612\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19057\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19057/hovercard\" href=\"https://github.com/coq/coq/pull/19057\">#19057</a>: Adding change log for PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2219695674\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18873\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18873/hovercard\" href=\"https://github.com/coq/coq/pull/18873\">#18873</a> (anomaly instead of …"}},{"before":"82655c17689910e77aae2f8ef49d9c022606c270","after":"7094238874a4e58f7fb2e35f2c2edb30b05d3ed6","ref":"refs/heads/master","pushedAt":"2024-05-23T15:54:03.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #18814: Remove slow nia tests\n\nReviewed-by: proux01\nCo-authored-by: proux01 <proux01@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2192136233\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18814\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18814/hovercard\" href=\"https://github.com/coq/coq/pull/18814\">#18814</a>: Remove slow nia tests"}},{"before":"59803f6ae8295c79add09a3bd4bdd78a1ce753ad","after":"82655c17689910e77aae2f8ef49d9c022606c270","ref":"refs/heads/master","pushedAt":"2024-05-23T15:48:35.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #19051: Fix wrapping of guard error with evar map in cofix guard checking\n\nReviewed-by: ppedrot\nReviewed-by: herbelin\nCo-authored-by: ppedrot <ppedrot@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2304520343\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19051\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19051/hovercard\" href=\"https://github.com/coq/coq/pull/19051\">#19051</a>: Fix wrapping of guard error with evar map in cofix g…"}},{"before":"2f5f5f7b1d3504ac148a6e104beff1bc3e7b07cf","after":"59803f6ae8295c79add09a3bd4bdd78a1ce753ad","ref":"refs/heads/master","pushedAt":"2024-05-23T15:22:16.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #18449: ssr/have: use opaque constants\n\nReviewed-by: proux01\nAck-by: ppedrot\nAck-by: SkySkimmer\nCo-authored-by: proux01 <proux01@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2061084665\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18449\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18449/hovercard\" href=\"https://github.com/coq/coq/pull/18449\">#18449</a>: ssr/have: use opaque constants"}},{"before":"e940393de6393d4a76936d4d340f9a995ef6195d","after":"2f5f5f7b1d3504ac148a6e104beff1bc3e7b07cf","ref":"refs/heads/master","pushedAt":"2024-05-23T14:24:42.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #19067: coqpp: use location annotations for attributes\n\nReviewed-by: ppedrot\nCo-authored-by: ppedrot <ppedrot@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2310312587\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19067\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19067/hovercard\" href=\"https://github.com/coq/coq/pull/19067\">#19067</a>: coqpp: use location annotations for attributes"}},{"before":"cbea2e069386bf34190bd340fca53b90a4281848","after":"e940393de6393d4a76936d4d340f9a995ef6195d","ref":"refs/heads/master","pushedAt":"2024-05-23T13:52:05.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #19002: Phrasing and formatting of the unsatisfiable constraints error message\n\nReviewed-by: SkySkimmer\nCo-authored-by: SkySkimmer <SkySkimmer@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2280260723\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19002\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19002/hovercard\" href=\"https://github.com/coq/coq/pull/19002\">#19002</a>: Phrasing and formatting of the unsatisfiable constra…"}},{"before":"566751f4cbf85ca38284da9510988bb4c1325f75","after":"cbea2e069386bf34190bd340fca53b90a4281848","ref":"refs/heads/master","pushedAt":"2024-05-23T13:20:43.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #18820: APIs for elpi stuff\n\nReviewed-by: SkySkimmer\nAck-by: CohenCyril\nAck-by: ppedrot\nCo-authored-by: SkySkimmer <SkySkimmer@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2194523225\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18820\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18820/hovercard\" href=\"https://github.com/coq/coq/pull/18820\">#18820</a>: APIs for elpi stuff"}},{"before":"0f22343428a381bd6a488f5ffaba0cc1dd05d5a7","after":"566751f4cbf85ca38284da9510988bb4c1325f75","ref":"refs/heads/master","pushedAt":"2024-05-23T13:09:30.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #19058: Fix the man pages' formatting.\n\nReviewed-by: SkySkimmer\nCo-authored-by: SkySkimmer <SkySkimmer@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2307057675\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19058\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19058/hovercard\" href=\"https://github.com/coq/coq/pull/19058\">#19058</a>: Fix the man pages' formatting."}},{"before":"9388b931c8308940670f862827e561d3c5dc50c3","after":"0f22343428a381bd6a488f5ffaba0cc1dd05d5a7","ref":"refs/heads/master","pushedAt":"2024-05-23T11:21:47.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #19060: Allow a direction specifier in replace with.\n\nReviewed-by: SkySkimmer\nAck-by: jfehrle\nAck-by: Alizter\nCo-authored-by: SkySkimmer <SkySkimmer@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2307813987\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19060\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19060/hovercard\" href=\"https://github.com/coq/coq/pull/19060\">#19060</a>: Allow a direction specifier in replace with."}},{"before":"1bae91e87faa7c7fd107f637d4ad87998e6f6ae0","after":"9388b931c8308940670f862827e561d3c5dc50c3","ref":"refs/heads/master","pushedAt":"2024-05-22T16:41:11.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #19071: Slight comment update after empty matches got CaseInvert\n\nReviewed-by: ppedrot\nCo-authored-by: ppedrot <ppedrot@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2310349539\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19071\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19071/hovercard\" href=\"https://github.com/coq/coq/pull/19071\">#19071</a>: Slight comment update after empty matches got CaseIn…"}},{"before":"f1649da646db039825566bd1d4f75f6f48e70ed7","after":"1bae91e87faa7c7fd107f637d4ad87998e6f6ae0","ref":"refs/heads/master","pushedAt":"2024-05-22T13:50:19.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"coqbot-app[bot]","name":null,"path":"/apps/coqbot-app","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/31373?s=80&v=4"},"commit":{"message":"Merge PR #18074: Explain \"Constant\" in Locate output\n\nReviewed-by: ppedrot\nCo-authored-by: ppedrot <ppedrot@users.noreply.github.com>","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1905609066\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18074\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18074/hovercard\" href=\"https://github.com/coq/coq/pull/18074\">#18074</a>: Explain \"Constant\" in Locate output"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEVggpcgA","startCursor":null,"endCursor":null}},"title":"Activity · coq/coq"}