Run pre-commit and in-place update PR on push

[Merged by Bors] - feat(finiteness): support `finiteness [h, h']` syntax #30352

Sign in to view logs

Triggered via pull request January 16, 2026 13:24

grunweg

opened #34039

grunweg:finiteness-have

Status Success

Total duration 30s

Artifacts –

pre-commit.yml

on: pull_request