Skip to content
Post PR summary comment

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

Sign in to view logs

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

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

Triggered via pull request December 18, 2025 19:34
@vihdzpvihdzp
synchronize #33059
Status Success
Total duration 1m 14s
Artifacts –

PR_summary.yml

on: pull_request_target
post-or-update-summary-comment
1m 11s
post-or-update-summary-comment
Fit to window
Zoom out
Zoom in
⚡