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

Merge branch 'leanprover-community:master' into uniqueness-riesz #15

Sign in to view logs

Triggered via push October 4, 2025 06:04

CoolRmal

uniqueness-riesz

Status Success

Total duration 27s

Artifacts –

pre-commit.yml

on: push