Skip to content
Commit Verification

feat(RingTheory): regular local ring is domain #24131

Sign in to view logs

feat(RingTheory): regular local ring is domain

feat(RingTheory): regular local ring is domain #24131

Triggered via pull request April 3, 2026 11:22
@Thmoas-GuanThmoas-Guan
synchronize #28683
Thmoas-Guan:Regular-Local-Ring
Status Success
Total duration 37s
Artifacts 1

commit_verification.yml

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

Artifacts

Produced during runtime
Name Size Digest
workflow-data
1.04 KB
sha256:78e1dc32e5876f681fc30f56f608e98817d666f6fd22973a5144ef40caf6b788