Maintainer merge

[Merged by Bors] - chore(Data/Finset): don't import algebra in `Finset.Lattice.Fold` #38763

Sign in to view logs

Triggered via issue February 14, 2025 22:26

commented on #21883 33db31b

Status Success

Total duration 10s

Artifacts –

maintainer_merge.yml

on: issue_comment

Ping maintainers on Zulip