Skip to content
Back to pull request #1880

Some enhacements to is_loaded_directly #902

Sign in to view logs

Some enhacements to is_loaded_directly

Some enhacements to is_loaded_directly #902

Run time

Learn about OS pricing on GitHub Actions
Job Run time
generatematrix
48s
matching: [Nemo#master,Singular#master] - ubuntu-latest, julia ~1.6.0-0
3m 57s
matching: [Nemo#master,Singular#master] - ubuntu-latest, julia ~1.10.0-0
5m 25s
[Nemo,Singular]#release - ubuntu-latest, julia ~1.6.0-0
3m 42s
[Nemo,Singular]#release - ubuntu-latest, julia ~1.10.0-0
5m 10s
19m 2s