Rename MatrixGroup, MatrixGroupElem to MatGroup, MatGroupElem, to better fit in with MatElem and MatRingElem
#9731
Triggered via pull request
January 16, 2026 09:43
fingolfin
Status
Success
Total duration
1h 20m 4s
Artifacts
–
NoExperimental.yml
on: pull_request
doctest
29m 29s
Matrix: test