Allow more inputs for gens(::UniversalPolyRing, ...)
#674
Triggered via pull request
September 26, 2024 14:50
lgoettgens
Status
Success
Total duration
12m 4s
Artifacts
–
nemo.yml
on: pull_request
generatematrix
49s
Matrix: test-oscar