Skip to content
Check workflows

feat(Algebra): cohen macaulay local ring is catenary #4608

Sign in to view logs

feat(Algebra): cohen macaulay local ring is catenary

feat(Algebra): cohen macaulay local ring is catenary #4608

Triggered via pull request March 19, 2026 13:06
@Thmoas-GuanThmoas-Guan
synchronize #26245
Thmoas-Guan:CM-local-ring-is-catenary
Status Success
Total duration 21s
Artifacts –

actionlint.yml

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