Skip to content
lint and suggest

[Merged by Bors] - feat(Topology/Algebra/Module/ModuleTopology): finite products of modules. #76247

Sign in to view logs

[Merged by Bors] - feat(Topology/Algebra/Module/ModuleTopology): finite products of modules.

[Merged by Bors] - feat(Topology/Algebra/Module/ModuleTopology): finite products of modules. #76247

Triggered via pull request January 12, 2025 18:44
@kbuzzardkbuzzard
synchronize #20453
kbuzzard-module-topology-prod-and-pi
Status Success
Total duration 1m 44s
Artifacts –

lint_and_suggest_pr.yml

on: pull_request
Lint style
1m 34s
Check all files imported
46s

Annotations

2 warnings
Check all files imported
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Lint style
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636