Skip to content
Commit Verification

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

Sign in to view logs

feat(RingTheory): definition of Gorenstein local ring

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

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

commit_verification.yml

on: pull_request
Verify Transient and Automated Commits
37s
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:f097f7a4b854dcaa323e4c84cc03a62c7c90226d4cb20a965297aa9d1cbefbcc
⚡