Release v0.7.2
Changed
- Failing to install miniconda in
remote.sh
is no longer considered a build error (this can occur, for example, when rerunning a build that already has miniconda installed). (#71)
Changed
remote.sh
is no longer considered a build error (this can occur, for example, when rerunning a build that already has miniconda installed). (#71)