Skip to content
Post PR summary comment

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

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 #22778

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

PR_summary.yml

on: pull_request
build
40s
build
Fit to window
Zoom out
Zoom in