Skip to content
Autolabel PRs

[Merged by Bors] - chore(CategoryTheory/Limits/Shapes/BinaryProducts): More universe flexibility for pairComp #717

Sign in to view logs

[Merged by Bors] - chore(CategoryTheory/Limits/Shapes/BinaryProducts): More universe flexibility for pairComp

[Merged by Bors] - chore(CategoryTheory/Limits/Shapes/BinaryProducts): More universe flexibility for pairComp #717

Triggered via pull request October 9, 2024 14:53
@robin-carlierrobin-carlier
opened #17586
RC_chore_universes_pairComp
Status Success
Total duration 1m 19s
Artifacts –

add_label_from_diff.yaml

on: pull_request
Add topic label
1m 11s
Add topic label
Fit to window
Zoom out
Zoom in

Annotations

2 notices
Add topic label
Applicable labels: #[t-category-theory]
Add topic label
added label: t-category-theory