Skip to content
Maintainer merge

[Merged by Bors] - doc(Algebra/BigOperators/Fin): change 'product' to 'sum' in doc-string of additivised declarations #28838

Sign in to view logs

[Merged by Bors] - doc(Algebra/BigOperators/Fin): change 'product' to 'sum' in doc-string of additivised declarations

[Merged by Bors] - doc(Algebra/BigOperators/Fin): change 'product' to 'sum' in doc-string of additivised declarations #28838

Triggered via issue January 26, 2025 23:58
@adomaniadomani
commented on #21101 7564134
Status Success
Total duration 9s
Artifacts –

maintainer_merge.yml

on: issue_comment
Ping maintainers on Zulip
2s
Ping maintainers on Zulip
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Ping maintainers on Zulip
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636