{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":259463685,"defaultBranch":"trunk","name":"carbon-lang","ownerLogin":"carbon-language","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-04-27T21:45:16.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/63681715?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716924292.0","currentOid":""},"activityList":{"items":[{"before":"fd9783462438f95097c60f133033f702597ac261","after":null,"ref":"refs/heads/gh-readonly-queue/trunk/pr-3999-52bf4e618ce70e255932e83356b611db4c53c89f","pushedAt":"2024-05-28T19:24:52.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}},{"before":"52bf4e618ce70e255932e83356b611db4c53c89f","after":"fd9783462438f95097c60f133033f702597ac261","ref":"refs/heads/trunk","pushedAt":"2024-05-28T19:24:51.000Z","pushType":"merge_queue_merge","commitsCount":1,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Remove the resolve stale suggestions action. (#3999)\n\nStill failing. The action doesn't correctly handle the `push` action.\ne.g.:\nhttps://github.com/carbon-language/carbon-lang/actions/runs/9272842686\n\nLacking a clear solution here, I suggest removing this.","shortMessageHtmlLink":"Remove the resolve stale suggestions action. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2321596591\" data-permission-text=\"Title is private\" data-url=\"https://github.com/carbon-language/carbon-lang/issues/3999\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/carbon-language/carbon-lang/pull/3999/hovercard\" href=\"https://github.com/carbon-language/carbon-lang/pull/3999\">#3999</a>)"}},{"before":null,"after":"fd9783462438f95097c60f133033f702597ac261","ref":"refs/heads/gh-readonly-queue/trunk/pr-3999-52bf4e618ce70e255932e83356b611db4c53c89f","pushedAt":"2024-05-28T19:18:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Remove the resolve stale suggestions action. (#3999)\n\nStill failing. The action doesn't correctly handle the `push` action.\ne.g.:\nhttps://github.com/carbon-language/carbon-lang/actions/runs/9272842686\n\nLacking a clear solution here, I suggest removing this.","shortMessageHtmlLink":"Remove the resolve stale suggestions action. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2321596591\" data-permission-text=\"Title is private\" data-url=\"https://github.com/carbon-language/carbon-lang/issues/3999\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/carbon-language/carbon-lang/pull/3999/hovercard\" href=\"https://github.com/carbon-language/carbon-lang/pull/3999\">#3999</a>)"}},{"before":"52bf4e618ce70e255932e83356b611db4c53c89f","after":null,"ref":"refs/heads/gh-readonly-queue/trunk/pr-3998-679d57df78883a02102edf682be6a3fb1a3dbefa","pushedAt":"2024-05-28T16:15:00.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}},{"before":"679d57df78883a02102edf682be6a3fb1a3dbefa","after":"52bf4e618ce70e255932e83356b611db4c53c89f","ref":"refs/heads/trunk","pushedAt":"2024-05-28T16:14:59.000Z","pushType":"merge_queue_merge","commitsCount":1,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Switch the resolve action to push (#3998)\n\nhttps://github.com/Ardiannn08/resolve-outdated-comment documents this as\nusing push. My guess is that's the root of\nhttps://github.com/carbon-language/carbon-lang/actions/runs/9259644459/job/25471949664;\nif this doesn't fix it, we'll probably just need to remove it.","shortMessageHtmlLink":"Switch the resolve action to push (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2321439456\" data-permission-text=\"Title is private\" data-url=\"https://github.com/carbon-language/carbon-lang/issues/3998\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/carbon-language/carbon-lang/pull/3998/hovercard\" href=\"https://github.com/carbon-language/carbon-lang/pull/3998\">#3998</a>)"}},{"before":null,"after":"52bf4e618ce70e255932e83356b611db4c53c89f","ref":"refs/heads/gh-readonly-queue/trunk/pr-3998-679d57df78883a02102edf682be6a3fb1a3dbefa","pushedAt":"2024-05-28T16:09:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Switch the resolve action to push (#3998)\n\nhttps://github.com/Ardiannn08/resolve-outdated-comment documents this as\nusing push. My guess is that's the root of\nhttps://github.com/carbon-language/carbon-lang/actions/runs/9259644459/job/25471949664;\nif this doesn't fix it, we'll probably just need to remove it.","shortMessageHtmlLink":"Switch the resolve action to push (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2321439456\" data-permission-text=\"Title is private\" data-url=\"https://github.com/carbon-language/carbon-lang/issues/3998\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/carbon-language/carbon-lang/pull/3998/hovercard\" href=\"https://github.com/carbon-language/carbon-lang/pull/3998\">#3998</a>)"}},{"before":"679d57df78883a02102edf682be6a3fb1a3dbefa","after":null,"ref":"refs/heads/gh-readonly-queue/trunk/pr-3720-534b7378713b4901a0c8b10b1509ca63e7c1db87","pushedAt":"2024-05-25T02:11:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}},{"before":"534b7378713b4901a0c8b10b1509ca63e7c1db87","after":"679d57df78883a02102edf682be6a3fb1a3dbefa","ref":"refs/heads/trunk","pushedAt":"2024-05-25T02:11:05.000Z","pushType":"merge_queue_merge","commitsCount":1,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Member binding operators (#3720)\n\nDefine the binding operation used to compute the result of `x.y`,\n`p->y`, `x.(C.y)`, and `p->(C.y)` as calling a method from\nuser-implementable interfaces.\n\n---------\n\nCo-authored-by: Josh L <josh11b@users.noreply.github.com>\nCo-authored-by: Jon Ross-Perkins <jperkins@google.com>\nCo-authored-by: Richard Smith <richard@metafoo.co.uk>\nCo-authored-by: Chandler Carruth <chandlerc@gmail.com>\nCo-authored-by: Carbon Infra Bot <carbon-external-infra@google.com>","shortMessageHtmlLink":"Member binding operators (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2150026544\" data-permission-text=\"Title is private\" data-url=\"https://github.com/carbon-language/carbon-lang/issues/3720\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/carbon-language/carbon-lang/pull/3720/hovercard\" href=\"https://github.com/carbon-language/carbon-lang/pull/3720\">#3720</a>)"}},{"before":null,"after":"679d57df78883a02102edf682be6a3fb1a3dbefa","ref":"refs/heads/gh-readonly-queue/trunk/pr-3720-534b7378713b4901a0c8b10b1509ca63e7c1db87","pushedAt":"2024-05-25T02:07:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Member binding operators (#3720)\n\nDefine the binding operation used to compute the result of `x.y`,\n`p->y`, `x.(C.y)`, and `p->(C.y)` as calling a method from\nuser-implementable interfaces.\n\n---------\n\nCo-authored-by: Josh L <josh11b@users.noreply.github.com>\nCo-authored-by: Jon Ross-Perkins <jperkins@google.com>\nCo-authored-by: Richard Smith <richard@metafoo.co.uk>\nCo-authored-by: Chandler Carruth <chandlerc@gmail.com>\nCo-authored-by: Carbon Infra Bot <carbon-external-infra@google.com>","shortMessageHtmlLink":"Member binding operators (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2150026544\" data-permission-text=\"Title is private\" data-url=\"https://github.com/carbon-language/carbon-lang/issues/3720\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/carbon-language/carbon-lang/pull/3720/hovercard\" href=\"https://github.com/carbon-language/carbon-lang/pull/3720\">#3720</a>)"}},{"before":"534b7378713b4901a0c8b10b1509ca63e7c1db87","after":null,"ref":"refs/heads/gh-readonly-queue/trunk/pr-3987-74469aaa23282afe7dfff5f77e946d98e5bb7ca0","pushedAt":"2024-05-24T22:05:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}},{"before":"74469aaa23282afe7dfff5f77e946d98e5bb7ca0","after":null,"ref":"refs/heads/gh-readonly-queue/trunk/pr-3984-4d38c7b1e42ab9877a77603301f7c6143949c922","pushedAt":"2024-05-24T22:05:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}},{"before":"4d38c7b1e42ab9877a77603301f7c6143949c922","after":"534b7378713b4901a0c8b10b1509ca63e7c1db87","ref":"refs/heads/trunk","pushedAt":"2024-05-24T22:05:12.000Z","pushType":"merge_queue_merge","commitsCount":2,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Use the driver to link. (#3987)\n\nRather than cc_binary, try using link from #3922","shortMessageHtmlLink":"Use the driver to link. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2316290260\" data-permission-text=\"Title is private\" data-url=\"https://github.com/carbon-language/carbon-lang/issues/3987\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/carbon-language/carbon-lang/pull/3987/hovercard\" href=\"https://github.com/carbon-language/carbon-lang/pull/3987\">#3987</a>)"}},{"before":null,"after":"534b7378713b4901a0c8b10b1509ca63e7c1db87","ref":"refs/heads/gh-readonly-queue/trunk/pr-3987-74469aaa23282afe7dfff5f77e946d98e5bb7ca0","pushedAt":"2024-05-24T22:00:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Use the driver to link. (#3987)\n\nRather than cc_binary, try using link from #3922","shortMessageHtmlLink":"Use the driver to link. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2316290260\" data-permission-text=\"Title is private\" data-url=\"https://github.com/carbon-language/carbon-lang/issues/3987\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/carbon-language/carbon-lang/pull/3987/hovercard\" href=\"https://github.com/carbon-language/carbon-lang/pull/3987\">#3987</a>)"}},{"before":null,"after":"74469aaa23282afe7dfff5f77e946d98e5bb7ca0","ref":"refs/heads/gh-readonly-queue/trunk/pr-3984-4d38c7b1e42ab9877a77603301f7c6143949c922","pushedAt":"2024-05-24T22:00:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Add links about EuroLLVM panel to README (#3984)\n\nCo-authored-by: Josh L <josh11b@users.noreply.github.com>","shortMessageHtmlLink":"Add links about EuroLLVM panel to README (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2316000133\" data-permission-text=\"Title is private\" data-url=\"https://github.com/carbon-language/carbon-lang/issues/3984\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/carbon-language/carbon-lang/pull/3984/hovercard\" href=\"https://github.com/carbon-language/carbon-lang/pull/3984\">#3984</a>)"}},{"before":"4d1cf24ad3fe87a11086b47102b5bb5cf08602e9","after":null,"ref":"refs/heads/action-test","pushedAt":"2024-05-24T18:17:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jonmeow","name":"Jon Ross-Perkins","path":"/jonmeow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46229924?s=80&v=4"}},{"before":"4d38c7b1e42ab9877a77603301f7c6143949c922","after":null,"ref":"refs/heads/gh-readonly-queue/trunk/pr-3983-d01a80b7ccf956cbe5bf5de95643230643beef72","pushedAt":"2024-05-24T18:17:12.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}},{"before":"d01a80b7ccf956cbe5bf5de95643230643beef72","after":"4d38c7b1e42ab9877a77603301f7c6143949c922","ref":"refs/heads/trunk","pushedAt":"2024-05-24T18:17:10.000Z","pushType":"merge_queue_merge","commitsCount":1,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Expand bazel retries in tests. (#3983)\n\nTrying to better address ephemeral issues such as:\n\nhttps://github.com/carbon-language/carbon-lang/actions/runs/9226025647/job/25384877352\n\n`bazelisk test` currently has some retries, and this migrates those to a\nscript and copies it to other places that we invoke bazelisk.\n\n---------\n\nCo-authored-by: Chandler Carruth <chandlerc@gmail.com>","shortMessageHtmlLink":"Expand bazel retries in tests. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2315891813\" data-permission-text=\"Title is private\" data-url=\"https://github.com/carbon-language/carbon-lang/issues/3983\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/carbon-language/carbon-lang/pull/3983/hovercard\" href=\"https://github.com/carbon-language/carbon-lang/pull/3983\">#3983</a>)"}},{"before":null,"after":"4d38c7b1e42ab9877a77603301f7c6143949c922","ref":"refs/heads/gh-readonly-queue/trunk/pr-3983-d01a80b7ccf956cbe5bf5de95643230643beef72","pushedAt":"2024-05-24T18:11:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Expand bazel retries in tests. (#3983)\n\nTrying to better address ephemeral issues such as:\n\nhttps://github.com/carbon-language/carbon-lang/actions/runs/9226025647/job/25384877352\n\n`bazelisk test` currently has some retries, and this migrates those to a\nscript and copies it to other places that we invoke bazelisk.\n\n---------\n\nCo-authored-by: Chandler Carruth <chandlerc@gmail.com>","shortMessageHtmlLink":"Expand bazel retries in tests. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2315891813\" data-permission-text=\"Title is private\" data-url=\"https://github.com/carbon-language/carbon-lang/issues/3983\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/carbon-language/carbon-lang/pull/3983/hovercard\" href=\"https://github.com/carbon-language/carbon-lang/pull/3983\">#3983</a>)"}},{"before":"eaea7312ba8a54f93abdf5ec50ad4d732f4962a1","after":"4d1cf24ad3fe87a11086b47102b5bb5cf08602e9","ref":"refs/heads/action-test","pushedAt":"2024-05-24T18:05:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jonmeow","name":"Jon Ross-Perkins","path":"/jonmeow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46229924?s=80&v=4"},"commit":{"message":"Apply suggestions from code review\n\nCo-authored-by: Chandler Carruth <chandlerc@gmail.com>","shortMessageHtmlLink":"Apply suggestions from code review"}},{"before":"2857878eddd57c7cbee7b4a57a40c3ac8162ef38","after":"eaea7312ba8a54f93abdf5ec50ad4d732f4962a1","ref":"refs/heads/action-test","pushedAt":"2024-05-24T17:19:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jonmeow","name":"Jon Ross-Perkins","path":"/jonmeow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46229924?s=80&v=4"},"commit":{"message":"Expand bazel retries in tests.","shortMessageHtmlLink":"Expand bazel retries in tests."}},{"before":"07bdf7297c68d0348958d2ea62ee2c086b866081","after":"2857878eddd57c7cbee7b4a57a40c3ac8162ef38","ref":"refs/heads/action-test","pushedAt":"2024-05-24T17:02:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jonmeow","name":"Jon Ross-Perkins","path":"/jonmeow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46229924?s=80&v=4"},"commit":{"message":"Expand bazel retries in tests.","shortMessageHtmlLink":"Expand bazel retries in tests."}},{"before":"1232072e3ebaa3ec3994ee53e71b8840e35f63e0","after":"07bdf7297c68d0348958d2ea62ee2c086b866081","ref":"refs/heads/action-test","pushedAt":"2024-05-24T16:50:40.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jonmeow","name":"Jon Ross-Perkins","path":"/jonmeow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46229924?s=80&v=4"},"commit":{"message":"Expand bazel retries in tests.","shortMessageHtmlLink":"Expand bazel retries in tests."}},{"before":"a1dac8197b11cb14097aeb6d4662b84c66e6d3d0","after":"1232072e3ebaa3ec3994ee53e71b8840e35f63e0","ref":"refs/heads/action-test","pushedAt":"2024-05-24T16:48:16.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jonmeow","name":"Jon Ross-Perkins","path":"/jonmeow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46229924?s=80&v=4"},"commit":{"message":"Expand bazel retries in tests.","shortMessageHtmlLink":"Expand bazel retries in tests."}},{"before":"d01a80b7ccf956cbe5bf5de95643230643beef72","after":null,"ref":"refs/heads/gh-readonly-queue/trunk/pr-3982-31060ca38ab9a658af88531c98f02443c644d8e2","pushedAt":"2024-05-24T15:02:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}},{"before":"31060ca38ab9a658af88531c98f02443c644d8e2","after":"d01a80b7ccf956cbe5bf5de95643230643beef72","ref":"refs/heads/trunk","pushedAt":"2024-05-24T15:02:53.000Z","pushType":"merge_queue_merge","commitsCount":1,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Delete CarbonInfraBot comments with no replies when they become outdated. (#3982)","shortMessageHtmlLink":"Delete CarbonInfraBot comments with no replies when they become outda…"}},{"before":null,"after":"d01a80b7ccf956cbe5bf5de95643230643beef72","ref":"refs/heads/gh-readonly-queue/trunk/pr-3982-31060ca38ab9a658af88531c98f02443c644d8e2","pushedAt":"2024-05-24T14:58:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Delete CarbonInfraBot comments with no replies when they become outdated. (#3982)","shortMessageHtmlLink":"Delete CarbonInfraBot comments with no replies when they become outda…"}},{"before":"31060ca38ab9a658af88531c98f02443c644d8e2","after":null,"ref":"refs/heads/gh-readonly-queue/trunk/pr-3833-e60df54a4f6663e37e3e04ceafd2d03663ca7193","pushedAt":"2024-05-23T22:43:23.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}},{"before":"e60df54a4f6663e37e3e04ceafd2d03663ca7193","after":"31060ca38ab9a658af88531c98f02443c644d8e2","ref":"refs/heads/trunk","pushedAt":"2024-05-23T22:43:22.000Z","pushType":"merge_queue_merge","commitsCount":1,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"SemIR fidelity when representing rewrite semantics (#3833)\n\nThe toolchain's [Semantic IR][semir] should start off modeling the full,\ncomplex, and rich library-based and generic extension point semantics of\nCarbon\nwithout eliding any layers or rewrites for compile time efficiency. We\nshouldn't\nfront-load elision or optimization when implementing the designs.\n\nOnce we have a full-fidelity implementation, we should work to build an\nefficient elision, short-circuit, or common case simplification into the\ndesign\nitself sufficient to make the SemIR model efficient. Only if we cannot\nfind a\nreasonable approach for that should we diverge the SemIR model to\noptimize its\nefficiency, and we should preserve full fidelity in an optional mode.\n\n[semir]:\n\nhttps://docs.google.com/document/d/1RRYMm42osyqhI2LyjrjockYCutQ5dOf8Abu50kTrkX0/edit?resourcekey=0-kHyqOESbOHmzZphUbtLrTw#heading=h.503m6lfcnmui\n\n---------\n\nCo-authored-by: josh11b <15258583+josh11b@users.noreply.github.com>\nCo-authored-by: Richard Smith <richard@metafoo.co.uk>\nCo-authored-by: Carbon Infra Bot <carbon-external-infra@google.com>","shortMessageHtmlLink":"SemIR fidelity when representing rewrite semantics (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2214656437\" data-permission-text=\"Title is private\" data-url=\"https://github.com/carbon-language/carbon-lang/issues/3833\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/carbon-language/carbon-lang/pull/3833/hovercard\" href=\"https://github.com/carbon-language/carbon-lang/pull/3833\">#3833</a>)"}},{"before":null,"after":"31060ca38ab9a658af88531c98f02443c644d8e2","ref":"refs/heads/gh-readonly-queue/trunk/pr-3833-e60df54a4f6663e37e3e04ceafd2d03663ca7193","pushedAt":"2024-05-23T22:38:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"SemIR fidelity when representing rewrite semantics (#3833)\n\nThe toolchain's [Semantic IR][semir] should start off modeling the full,\ncomplex, and rich library-based and generic extension point semantics of\nCarbon\nwithout eliding any layers or rewrites for compile time efficiency. We\nshouldn't\nfront-load elision or optimization when implementing the designs.\n\nOnce we have a full-fidelity implementation, we should work to build an\nefficient elision, short-circuit, or common case simplification into the\ndesign\nitself sufficient to make the SemIR model efficient. Only if we cannot\nfind a\nreasonable approach for that should we diverge the SemIR model to\noptimize its\nefficiency, and we should preserve full fidelity in an optional mode.\n\n[semir]:\n\nhttps://docs.google.com/document/d/1RRYMm42osyqhI2LyjrjockYCutQ5dOf8Abu50kTrkX0/edit?resourcekey=0-kHyqOESbOHmzZphUbtLrTw#heading=h.503m6lfcnmui\n\n---------\n\nCo-authored-by: josh11b <15258583+josh11b@users.noreply.github.com>\nCo-authored-by: Richard Smith <richard@metafoo.co.uk>\nCo-authored-by: Carbon Infra Bot <carbon-external-infra@google.com>","shortMessageHtmlLink":"SemIR fidelity when representing rewrite semantics (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2214656437\" data-permission-text=\"Title is private\" data-url=\"https://github.com/carbon-language/carbon-lang/issues/3833\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/carbon-language/carbon-lang/pull/3833/hovercard\" href=\"https://github.com/carbon-language/carbon-lang/pull/3833\">#3833</a>)"}},{"before":"e60df54a4f6663e37e3e04ceafd2d03663ca7193","after":null,"ref":"refs/heads/gh-readonly-queue/trunk/pr-3981-55300d1ebbdf3e367b5a2f3ed4f7b527f95f2321","pushedAt":"2024-05-23T21:40:04.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEVjac1gA","startCursor":null,"endCursor":null}},"title":"Activity · carbon-language/carbon-lang"}