Clean up the mess I created when I cleaned up NemoStuff.jl
#567
Job | Run time |
---|---|
1m 3s | |
36m 38s | |
41m 33s | |
37m 6s | |
40m 31s | |
2h 36m 51s |
NemoStuff.jl
#567
Job | Run time |
---|---|
1m 3s | |
36m 38s | |
41m 33s | |
37m 6s | |
40m 31s | |
2h 36m 51s |