Check workflows

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

Sign in to view logs

Triggered via pull request March 31, 2026 09:19

Thmoas-Guan

synchronize #29802

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

Status Success

Total duration 20s

Artifacts –

actionlint.yml

on: pull_request

ensure-sha-pinned-actions