Skip to content
Check workflows

feat(Algebra/RingTheory): Hilbert's Syzygy theorem (projective version) #4622

Sign in to view logs

feat(Algebra/RingTheory): Hilbert's Syzygy theorem (projective version)

feat(Algebra/RingTheory): Hilbert's Syzygy theorem (projective version) #4622

Triggered via pull request March 19, 2026 16:07
@Thmoas-GuanThmoas-Guan
synchronize #29703
Thmoas-Guan:Hilbert's-Syzygy-Theorem-(Projective)
Status Success
Total duration 27s
Artifacts –

actionlint.yml

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