Don't try to instantiate MatSpaceElem for ZZRingElem etc. #2284
Triggered via pull request
November 12, 2024 08:04
fingolfin
Status
Success
Total duration
3h 11m 49s
Artifacts
–
oscar.yml
on: pull_request
generatematrix
54s
Matrix: test-oscar