Skip to content
Check workflows

feat(Algebra): finite projective dimension of regular #4615

Sign in to view logs

feat(Algebra): finite projective dimension of regular

feat(Algebra): finite projective dimension of regular #4615

Triggered via pull request March 19, 2026 15:49
@Thmoas-GuanThmoas-Guan
synchronize #29557
Thmoas-Guan:finite-projective-dimension-of-regular
Status Success
Total duration 47s
Artifacts –

actionlint.yml

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