Skip to content

[Merged by Bors] - feat(CategoryTheory/Sites): small 0-hypercovers #237498

[Merged by Bors] - feat(CategoryTheory/Sites): small 0-hypercovers

[Merged by Bors] - feat(CategoryTheory/Sites): small 0-hypercovers #237498

Triggered via pull request October 8, 2025 22:22
@chrisflavchrisflav
synchronize #30321
Status Success
Total duration 15m 53s
Artifacts 2

build_fork.yml

on: pull_request_target
Post-Build Step (fork)
2m 15s
Post-Build Step (fork)
Post-CI job (fork)
9s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
import-graph Expired
245 KB
sha256:ca3cfc36443ae8befd8a063671e00d0c22f0334e4e47bf63f4436dfcd4039200
mathlib4_artifact
1.6 GB
sha256:cdfd64261c3e464d7532b7c450f64e59ecb23a78049c64c4c00d30109129cbdb