Rename UniversalPolynomialRing
to universal_polynomial_ring
#2019
Triggered via pull request
February 27, 2024 15:06
Status
Failure
Total duration
1h 40m 37s
Artifacts
–
oscar.yml
on: pull_request
generatematrix
52s
Matrix: test-oscar
Annotations
3 errors and 5 warnings