chore: less reducibility for topology definition in fiber bundles #274053
Triggered via issue
August 27, 2026 06:49
leanprover-radar
Status
Success
Total duration
8s
Artifacts
–
bot_fix_style.yaml
on: issue_comment
Fix style issues from lint
5s