bot fix style (comment)

fix: do not count un-deprecations in `Mathlib/Deprecated` #12846

Sign in to view logs

Triggered via issue November 18, 2024 10:26

adomani

commented on #19184 66df24a

Status Skipped

Total duration 3s

Artifacts –

bot_fix_style_comment.yaml

on: issue_comment

Fix style issues from lint