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
Multiple issues reported during Miden Day related to midenup installation experience.
Items
PATH directives in docs are wrong. Should point to toolchains/stable/bin, not midenup/bin.
~/.zshrc doesn't exist on fresh macOS, midenup setup fails silently.
midenup install stable takes 20-30 minutes with no progress indicator. Users ctrl-C thinking it's stuck.
"WARNING: new is an alias from component cargo-miden, which is installed but is not part of the current active toolchain" is confusing for both humans and AI agents.
Context
Multiple issues reported during Miden Day related to midenup installation experience.
Items
toolchains/stable/bin, notmidenup/bin.~/.zshrcdoesn't exist on fresh macOS, midenup setup fails silently.midenup install stabletakes 20-30 minutes with no progress indicator. Users ctrl-C thinking it's stuck.