Skip to content
NemoCI

Rename UniversalPolynomialRing to universal_polynomial_ring #92

Sign in to view logs

Rename UniversalPolynomialRing to universal_polynomial_ring

Rename UniversalPolynomialRing to universal_polynomial_ring #92

Run time

Learn about OS pricing on GitHub Actions
Job Run time
generatematrix
50s
matching: [Nemo#master] - ubuntu-latest, julia ~1.6.0-0
8m 22s
matching: [Nemo#master] - ubuntu-latest, julia ~1.10.0-0
10m 9s
[Nemo]#release - ubuntu-latest, julia ~1.6.0-0
8m 9s
[Nemo]#release - ubuntu-latest, julia ~1.10.0-0
9m 30s
37m 0s