Skip to content
splice-bot

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

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

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

splice_bot.yaml

on: pull_request_review_comment
call-splice-bot  /  create-single-file-pr
call-splice-bot / create-single-file-pr
Fit to window
Zoom out
Zoom in