refactor(CategoryTheory/Presentable): cleaning up HasCardinalFilteredGenerator(s) #238358
joelrioubuild_fork.yml
on: pull_request_target
Build (fork)
16m 6s
Lint style (fork)
3m 9s
Post-CI job (fork)
6s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
Expired
|
246 KB |
sha256:7e0c6ad6dc24a0290e98ac73ef4cde082b961509ae6aa830e288692ffea831f0
|
|
|
mathlib4_artifact
|
1.62 GB |
sha256:9b690a6c8e26e1932aa139050002569bb6ef407148bceacacd86d9eb0189433e
|
|