Skip to content

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

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

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

Annotations

1 warning

post-or-update-summary-comment

succeeded Jan 12, 2025 in 42s
Set up job
1s
Checkout code
28s
Set up Python
0s
Install dependencies
1s
Get changed files
0s
Compute transitive imports
2s
Post or update the summary comment
7s
Post Set up Python
0s
Post Checkout code
0s
Complete job
0s