[Merged by Bors] - doc(CategoryTheory): fix typos #238955
harahubuild_fork.yml
on: pull_request_target
Build (fork)
10m 18s
Lint style (fork)
3m 18s
Post-CI job (fork)
4s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
|
246 KB |
sha256:0f9b7a9783e3bb679695a377fd4c75c66446eda27e358b7afad524af2a4dbd8b
|
|
|
mathlib4_artifact
|
1.61 GB |
sha256:490875267f1db877b29e107031cb9d5508f545f41f324ce88a26f3e0141ec483
|
|