Skip to content
bot fix style

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

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

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

bot_fix_style.yaml

on: pull_request_review_comment
Fix style issues from lint
29s
Fix style issues from lint
Fit to window
Zoom out
Zoom in