Skip to content
Check workflows

feat(Algebra): global dimension of regular local ring #4644

Sign in to view logs

feat(Algebra): global dimension of regular local ring

feat(Algebra): global dimension of regular local ring #4644

Triggered via pull request March 21, 2026 08:50
@Thmoas-GuanThmoas-Guan
synchronize #29534
Thmoas-Guan:Global-Dimension-of-Regular-Local-Ring
Status Success
Total duration 21s
Artifacts –

actionlint.yml

on: pull_request
actionlint
19s
actionlint
ensure-sha-pinned-actions
11s
ensure-sha-pinned-actions
Fit to window
Zoom out
Zoom in