Skip to content
Run pre-commit and in-place update PR on push

nice, most workarounds not needed with univ_out_params #3486

Sign in to view logs

nice, most workarounds not needed with univ_out_params

nice, most workarounds not needed with univ_out_params #3486

Triggered via push February 14, 2026 05:03
@kim-emkim-em
pushed 32ff989
lean-pr-testing-12286
Status Success
Total duration 24s
Artifacts –

pre-commit.yml

on: push
main
22s
main
Fit to window
Zoom out
Zoom in