Post PR summary comment

[Merged by Bors] - feat: semisimple rings are Artinian #24711

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request October 18, 2024 23:23

alreadydone

synchronize #17557

finite_semisimple_module

Status Success

Total duration 49s

Artifacts –

PR_summary.yml

on: pull_request