[Merged by Bors] - feat(CategoryTheory): functors that are dense at an object #238424
joelrioubuild_fork.yml
on: pull_request_target
Build (fork)
14m 33s
Lint style (fork)
2m 2s
Post-CI job (fork)
4s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
Expired
|
246 KB |
sha256:b5c94debbc1a0831fd927bdf95ffda187c9b644941aff027064b2603e40c9297
|
|
|
mathlib4_artifact
|
1.61 GB |
sha256:28492b86f01d2e80ccd0b1bc96aaad1c34c9858ed229b370c0bac626b6ab0c5e
|
|