Check workflows

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

Sign in to view logs

Triggered via pull request March 20, 2026 16:02

Thmoas-Guan

synchronize #29802

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

Status Success

Total duration 22s

Artifacts –

actionlint.yml

on: pull_request

ensure-sha-pinned-actions