Clean up the mess I created when I cleaned up NemoStuff.jl
(#1780)
#567
Job | Run time |
---|---|
45s | |
8m 40s | |
10m 25s | |
8m 36s | |
10m 10s | |
38m 36s |
NemoStuff.jl
(#1780)
#567
Job | Run time |
---|---|
45s | |
8m 40s | |
10m 25s | |
8m 36s | |
10m 10s | |
38m 36s |