Skip to content
Back to pull request #1585

feat: fix generalized indexing #1936

Sign in to view logs

feat: fix generalized indexing

feat: fix generalized indexing #1936

Run time

Learn about OS pricing on GitHub Actions
Job Run time
generatematrix
53s
generatematrix
53s
matching: [Nemo#master,Oscar#master,Hecke#master,Singular#master] - ubuntu-latest, julia ~1.6.0-0
1h 35m 38s
matching: [Nemo#master,Oscar#master,Hecke#master,Singular#master] - ubuntu-latest, julia ~1.6.0-0
1h 35m 38s
matching: [Nemo#master,Oscar#master,Hecke#master,Singular#master] - ubuntu-latest, julia ~1.10.0-0
2h 4m 16s
matching: [Nemo#master,Oscar#master,Hecke#master,Singular#master] - ubuntu-latest, julia ~1.10.0-0
2m 49s
[Nemo,Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.6.0-0
1m 39s
[Nemo,Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.6.0-0
1m 39s
[Nemo,Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.10.0-0
1m 45s
[Nemo,Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.10.0-0
1m 45s
5h 26m 55s