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

Merge branch 'leanprover-community:master' into VectorMeasureIntegral #11

Sign in to view logs

Triggered via push September 30, 2025 21:14

CoolRmal

VectorMeasureIntegral

Status Success

Total duration 22s

Artifacts –

pre-commit.yml

on: push