bot fix style (comment)

[Merged by Bors] - chore: add coercion for `Setoid` #5716

Sign in to view logs

Triggered via issue October 9, 2024 12:21

commented on #16254 61ed796

Status Skipped

Total duration 2s

Artifacts –

bot_fix_style_comment.yaml

on: issue_comment

Fix style issues from lint