Skip to content
bot fix style

[Merged by Bors] - feat(CategoryTheory/Presentable): accessible functors satisfy the solution set condition #279307

Sign in to view logs

[Merged by Bors] - feat(CategoryTheory/Presentable): accessible functors satisfy the solution set condition

[Merged by Bors] - feat(CategoryTheory/Presentable): accessible functors satisfy the solution set condition #279307

Triggered via issue September 5, 2026 11:35
@joelrioujoelriou
commented on #41236 69fe4f4
Status Success
Total duration 9s
Artifacts –

bot_fix_style.yaml

on: issue_comment
Fix style issues from lint
5s
Fix style issues from lint
Fit to window
Zoom out
Zoom in