Skip to content

[Merged by Bors] - feat: definition of a semisimple representation #123153

[Merged by Bors] - feat: definition of a semisimple representation

[Merged by Bors] - feat: definition of a semisimple representation #123153

Triggered via pull request February 4, 2026 23:52
@stepan2698-cpustepan2698-cpu
synchronize #34584
Status Success
Total duration 1m 15s
Artifacts

PR_summary.yml

on: pull_request_target
post-or-update-summary-comment
1m 12s
post-or-update-summary-comment
Fit to window
Zoom out
Zoom in