Skip to content
Commit Verification

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

Sign in to view logs

feat(RingTheory): definition of Gorenstein local ring

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

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

commit_verification.yml

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