Skip to content
OscarCI

Rename UniversalPolynomialRing to universal_polynomial_ring #2019

Sign in to view logs

Rename UniversalPolynomialRing to universal_polynomial_ring

Rename UniversalPolynomialRing to universal_polynomial_ring #2019

Run time

Learn about OS pricing on GitHub Actions
Job Run time
generatematrix
52s
matching: [Nemo#master,Oscar#master,Hecke#master,Singular#master] - ubuntu-latest, julia ~1.6.0-0
1h 8m 36s
matching: [Nemo#master,Oscar#master,Hecke#master,Singular#master] - ubuntu-latest, julia ~1.10.0-0
1h 39m 20s
[Nemo,Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.6.0-0
1m 34s
[Nemo,Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.10.0-0
1m 43s
2h 52m 5s