Skip to content
Commit Verification

feat(RingTheory): definition of Gorenstein local ring #27515

Sign in to view logs

feat(RingTheory): definition of Gorenstein local ring

feat(RingTheory): definition of Gorenstein local ring #27515

Triggered via pull request April 14, 2026 13:57
@Thmoas-GuanThmoas-Guan
synchronize #31884
Thmoas-Guan:Gorenstein-Local-Ring-Def
Status Success
Total duration 46s
Artifacts 1

commit_verification.yml

on: pull_request
Verify Transient and Automated Commits
40s
Verify Transient and Automated Commits
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
workflow-data
1.05 KB
sha256:2ee345e826d13a02fe6fd52e9da4bf141c3c3a1e5335407fbd59599650689801
⚡