Check workflows

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

Sign in to view logs

Triggered via pull request March 21, 2026 08:55

Thmoas-Guan

synchronize #29796

Thmoas-Guan:Auslander-Buchsbaum-Serre-Aux

Status Success

Total duration 20s

Artifacts –

actionlint.yml

on: pull_request

ensure-sha-pinned-actions