Skip to content
Back to pull request #1674

Don't use Flint* globals #3271

Sign in to view logs

Don't use Flint* globals

Don't use Flint* globals #3271

Run time

Learn about OS pricing on GitHub Actions
Job Run time
generatematrix
50s
matching: [Oscar#master] - ubuntu-latest, julia ~1.6.0-0
2h 28m 40s
matching: [Oscar#master] - ubuntu-latest, julia ~1.10.0-0
2h 46m 30s
[Oscar]#release - ubuntu-latest, julia ~1.6.0-0
2h 23m 38s
[Oscar]#release - ubuntu-latest, julia ~1.10.0-0
6h 0m 14s
13h 39m 52s