bot fix style (comment)

[Merged by Bors] - feat(NumberTheory/FactorisationProperties): abundant, pseudoperfect, deficient, and weird numbers #4168

Sign in to view logs

Triggered via issue September 28, 2024 23:59

kim-em

commented on #14269 874e709

Status Skipped

Total duration 1s

Artifacts –

bot_fix_style_comment.yaml

on: issue_comment

Fix style issues from lint