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

Triggered via issue April 7, 2026 21:58
@JovanGerbJovanGerb
commented on #37776 efd9eb7
Status Success
Total duration 12s
Artifacts –

bot_fix_style.yaml

on: issue_comment
Fix style issues from lint
8s
Fix style issues from lint
Fit to window
Zoom out
Zoom in