bot fix style (comment)

[Merged by Bors] - refactor(Algebra/Category): turn homs in `AlgebraCat` into a structure #13178

Sign in to view logs

Triggered via issue November 19, 2024 19:49

mattrobball

commented on #19065 22fb3a4

Status Skipped

Total duration 2s

Artifacts –

bot_fix_style_comment.yaml

on: issue_comment

Fix style issues from lint