Skip to content
continuous integration (mathlib forks)

[Merged by Bors] - feat(CategoryTheory/Sites): the monoidal category structure on sheaves using fiber functors #271461

Sign in to view logs

[Merged by Bors] - feat(CategoryTheory/Sites): the monoidal category structure on sheaves using fiber functors

[Merged by Bors] - feat(CategoryTheory/Sites): the monoidal category structure on sheaves using fiber functors #271461

Triggered via pull request February 20, 2026 20:50
@joelrioujoelriou
synchronize #35584
Status Success
Total duration 17m 28s
Artifacts 2

build_fork.yml

on: pull_request_target
ci (fork)  /  Build
8m 40s
ci (fork) / Build
ci (fork)  /  Lint style
2m 5s
ci (fork) / Lint style
ci (fork)  /  Upload to cache
43s
ci (fork) / Upload to cache
ci (fork)  /  Post-Build Step
2m 49s
ci (fork) / Post-Build Step
ci (fork)  /  Post-CI job
6s
ci (fork) / Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

1 warning
ci (fork) / Build
Cache directory does not exist: /home/lean/.cache/mathlib

Artifacts

Produced during runtime
Name Size Digest
cache-staging
490 KB
sha256:ba7a111e4655aa7fc4ce45140926ec75a88752939ce438cfc64740d6db1ff844
import-graph Expired
275 KB
sha256:7cb9e8c32901e2aa4e2e3012e12f8dc4672c05d1caad711880b1bbdd52bb890c