Clean up the mess I created when I cleaned up NemoStuff.jl
#566
Job | Run time |
---|---|
1m 1s | |
8m 58s | |
10m 12s | |
8m 49s | |
10m 16s | |
39m 16s |
NemoStuff.jl
#566
Job | Run time |
---|---|
1m 1s | |
8m 58s | |
10m 12s | |
8m 49s | |
10m 16s | |
39m 16s |