Label PR based on Comment

[Merged by Bors] - feat(Algebra/MonoidAlgebra): add instances for `Infinite` and `Countable` and `Small` #217284

Sign in to view logs

Triggered via issue August 21, 2026 22:00

mattrobball

commented on #42239 d7f2dbe

Status Success

Total duration 7s

Artifacts –

labels_from_comment.yml

on: issue_comment