Commit Verification

feat(Algebra/RingTheory): Auslander–Buchsbaum–Serre criterion and its corollaries #10446

Sign in to view logs

Triggered via pull request February 19, 2026 02:36

Thmoas-Guan

synchronize #29802

Thmoas-Guan:Localization-of-Regular-(Local)-Ring

Status Success

Total duration 42s

Artifacts –

commit_verification.yml

on: pull_request

Verify Transient and Automated Commits