Skip to content
OscarCI

Some enhacements to is_loaded_directly #2834

Sign in to view logs

Some enhacements to is_loaded_directly

Some enhacements to is_loaded_directly #2834

Run time

Learn about OS pricing on GitHub Actions
Job Run time
generatematrix
55s
matching: [Nemo#master,Oscar#master,Hecke#master,Singular#master] - ubuntu-latest, julia ~1.6.0-0
2h 29m 58s
matching: [Nemo#master,Oscar#master,Hecke#master,Singular#master] - ubuntu-latest, julia ~1.10.0-0
3h 3m 37s
[Nemo,Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.6.0-0
1m 41s
[Nemo,Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.10.0-0
1m 55s
5h 38m 6s