Clean up the mess I created when I cleaned up NemoStuff.jl
#566
Job | Run time |
---|---|
49s | |
3m 49s | |
5m 31s | |
3m 30s | |
5m 23s | |
19m 2s |
NemoStuff.jl
#566
Job | Run time |
---|---|
49s | |
3m 49s | |
5m 31s | |
3m 30s | |
5m 23s | |
19m 2s |