lint and suggest

feat(RingTheory): regular of finite global dimension #151373

Sign in to view logs

Triggered via pull request February 19, 2026 02:33

Thmoas-Guan

synchronize #29796

Thmoas-Guan:Auslander-Buchsbaum-Serre-Aux

Status Success

Total duration 2m 5s

Artifacts –

lint_and_suggest_pr.yml

on: pull_request

Lint and suggest