Skip to content
HeckeCI

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

Sign in to view logs

Clean up src/NemoStuff.jl (#1769)

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
generatematrix
47s
[Nemo,Hecke]#master - ubuntu-latest, julia ~1.6.0-0
37m 42s
[Nemo,Hecke]#master - ubuntu-latest, julia ~1.10.0-0
44m 49s
[Nemo,Hecke]#release - ubuntu-latest, julia ~1.6.0-0
37m 50s
[Nemo,Hecke]#release - ubuntu-latest, julia ~1.10.0-0
42m 23s
2h 43m 31s