Skip to content
OscarCI

Rename number_of_* functions consistently #1250

Sign in to view logs

Rename number_of_* functions consistently

Rename number_of_* functions consistently #1250

Run time

Learn about OS pricing on GitHub Actions
Job Run time
generatematrix
52s
matching: [Oscar#master,Hecke#master,Singular#master] - ubuntu-latest, julia ~1.6.0-0
6m 35s
matching: [Oscar#master,Hecke#master,Singular#master] - ubuntu-latest, julia ~1.9.0-0
9m 27s
[Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.6.0-0
5m 24s
[Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.9.0-0
6m 38s
28m 56s