You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on May 2, 2018. It is now read-only.
> pwd
/Users/kohlhase/localmh/MathHub/MiKoMH
> time lmh gen --sms --alltex --localpaths
lmh gen --sms --alltex --localpaths
Checking modules, this may take a while ...
Found 8229 paths to work on.
[...]
real 8m18.409s
user 0m0.706s
sys 0m0.123s
I am not sure whether this is a docker issue....
lmh genis very slow on my docker instancedoes 8 minutes sound right?