Skip to content
bot fix style

[Merged by Bors] - perf(Translate): don't actually beta reduce the proof #198765

Sign in to view logs

[Merged by Bors] - perf(Translate): don't actually beta reduce the proof

[Merged by Bors] - perf(Translate): don't actually beta reduce the proof #198765

Fix style issues from lint

Fix style issues from lint
succeeded Apr 7, 2026 in 8s