Skip to content
OscarCI

Clean up src/NemoStuff.jl (#1769) #10

Sign in to view logs

Clean up src/NemoStuff.jl (#1769)

Clean up src/NemoStuff.jl (#1769) #10

Run time

Learn about OS pricing on GitHub Actions
Job Run time
generatematrix
51s
[Nemo,Oscar,Hecke,Singular]#master - ubuntu-latest, julia ~1.6.0-0
2h 16m 13s
[Nemo,Oscar,Hecke,Singular]#master - ubuntu-latest, julia ~1.10.0-0
6h 0m 23s
[Nemo,Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.6.0-0
1m 43s
[Nemo,Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.10.0-0
1m 42s
8h 20m 52s