Skip to content
Bors merge/delegate follow-up

feat(Topology/Connected): local (path-)connectedness of products and pi types #280923

Sign in to view logs

feat(Topology/Connected): local (path-)connectedness of products and pi types

feat(Topology/Connected): local (path-)connectedness of products and pi types #280923

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

maintainer_bors.yml

on: pull_request_review_comment
Detect bors merge/delegate command
0s
Detect bors merge/delegate command
Fit to window
Zoom out
Zoom in