Skip to content
Commit Verification

feat(Algebra/Category): P.Under ⊤ R has finite limits if P is stable under finite products and equalizers #27147

Sign in to view logs

feat(Algebra/Category): P.Under ⊤ R has finite limits if P is stable under finite products and equalizers

feat(Algebra/Category): P.Under ⊤ R has finite limits if P is stable under finite products and equalizers #27147

Triggered via pull request April 13, 2026 17:16
@chrisflavchrisflav
synchronize #36919
chrisflav:under-limits-ring
Status Success
Total duration 45s
Artifacts 1

commit_verification.yml

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

Artifacts

Produced during runtime
Name Size Digest
workflow-data Expired
1.08 KB
sha256:0b2af8617a32000fbde0c2ddaad30ee0a358b7877dabb3b128d2da8986d2b7d5