lint and suggest

[Merged by Bors] - feat: `lift (ℶ_ o) = ℶ_ (lift o)` #136591

Sign in to view logs

Triggered via pull request December 18, 2025 19:34

vihdzp

synchronize #33059

vihdzp:lim_beth

Status Success

Total duration 2m 15s

Artifacts –

lint_and_suggest_pr.yml

on: pull_request

⚡