Skip to content
OscarCI

is_finiteorder -> is_finite_order #2051

Sign in to view logs

is_finiteorder -> is_finite_order

is_finiteorder -> is_finite_order #2051

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
41m 45s
matching: [Nemo#master,Oscar#master,Hecke#master,Singular#master] - ubuntu-latest, julia ~1.10.0-0
41m 41s
[Nemo,Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.6.0-0
26m 45s
[Nemo,Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.10.0-0
18m 25s
2h 9m 28s