Check workflows

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

Sign in to view logs

Triggered via pull request March 21, 2026 08:57

Thmoas-Guan

synchronize #29802

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

Status Success

Total duration 23s

Artifacts –

actionlint.yml

on: pull_request

ensure-sha-pinned-actions