Skip to content
bot fix style

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

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

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

bot_fix_style.yaml

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