bot fix style (comment)

feat(RingTheory/LaurentSeries): add notation #5759

Sign in to view logs

Triggered via issue October 9, 2024 15:11

faenuccio

commented on #16639 b9cabbf

Status Skipped

Total duration 2s

Artifacts –

bot_fix_style_comment.yaml

on: issue_comment

Fix style issues from lint