Check workflows

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

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 23s

Artifacts –

actionlint.yml

on: pull_request