[Merged by Bors] - feat(CategoryTheory/Sites): small 0
-hypercovers
#237498
build_fork.yml
on: pull_request_target
Build (fork)
13m 17s
Lint style (fork)
2m 42s
Post-CI job (fork)
9s
Artifacts
Produced during runtime
Name | Size | Digest | |
---|---|---|---|
import-graph
Expired
|
245 KB |
sha256:ca3cfc36443ae8befd8a063671e00d0c22f0334e4e47bf63f4436dfcd4039200
|
|
mathlib4_artifact
|
1.6 GB |
sha256:cdfd64261c3e464d7532b7c450f64e59ecb23a78049c64c4c00d30109129cbdb
|
|