add number_of_generators for UniversalPolyRing
#660
Triggered via pull request
September 20, 2024 20:33
fingolfin
Status
Success
Total duration
54m 49s
Artifacts
–
nemo.yml
on: pull_request
generatematrix
46s
Matrix: test-oscar