Skip to content
Maintainer merge

[Merged by Bors] - feat(Topology/Connected): local (path-)connectedness of products and pi types #305296

Sign in to view logs

[Merged by Bors] - feat(Topology/Connected): local (path-)connectedness of products and pi types

[Merged by Bors] - feat(Topology/Connected): local (path-)connectedness of products and pi types #305296

Triggered via pull request July 19, 2026 23:51
@CoolRmalCoolRmal
created #41663
Status Skipped
Total duration 1s
Artifacts –

maintainer_merge.yml

on: pull_request_review_comment
Ping maintainers on Zulip
0s
Ping maintainers on Zulip
Fit to window
Zoom out
Zoom in