feat(RingTheory): Cohen Structure Theorem #143811
Triggered via pull request
April 12, 2026 16:11
Thmoas-Guan
Thmoas-Guan
synchronize
#35560
Status
Failure
Total duration
48s
Artifacts
–
PR_summary.yml
on: pull_request_target
post-or-update-summary-comment
45s
Annotations
1 error
|
post-or-update-summary-comment
Process completed with exit code 1.
|