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

feat(RingTheory): regular of finite global dimension #39609

Sign in to view logs

Triggered via pull request February 19, 2026 02:33

Thmoas-Guan

synchronize #29796

Thmoas-Guan:Auslander-Buchsbaum-Serre-Aux

Status Success

Total duration 30s

Artifacts –

pre-commit.yml

on: pull_request