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
Since --install-ghc is now enabled by default (#3231) instead of having to run stack setup as as separate step, the corresponding change for Docker is to enable --docker-auto-pull by default instead of needing the separate stack docker pull step.
The text was updated successfully, but these errors were encountered:
Since
--install-ghc
is now enabled by default (#3231) instead of having to runstack setup
as as separate step, the corresponding change for Docker is to enable--docker-auto-pull
by default instead of needing the separatestack docker pull
step.The text was updated successfully, but these errors were encountered: