Skip to content
OscarCI

is_finiteorder -> is_finite_order (#1639) #2057

Sign in to view logs

is_finiteorder -> is_finite_order (#1639)

is_finiteorder -> is_finite_order (#1639) #2057

Run time

Learn about OS pricing on GitHub Actions
Job Run time
generatematrix
46s
[Nemo,Oscar,Hecke,Singular]#master - ubuntu-latest, julia ~1.6.0-0
1h 50m 26s
[Nemo,Oscar,Hecke,Singular]#master - ubuntu-latest, julia ~1.10.0-0
1h 28m 28s
[Nemo,Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.6.0-0
1h 43m 22s
[Nemo,Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.10.0-0
1h 36m 42s
6h 39m 44s