diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2019-10-15 15:01:32 -0500 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2019-10-15 16:35:00 -0500 |
| commit | eb2ec7a4c85c2ddad37941ef0d3ddbf9db613648 (patch) | |
| tree | 804313955c2b553c6fca37af810bd7ef1e5d67e9 /ci | |
| parent | 61551cd5ce5d4f4d5aaf48faeae7fed176614c24 (diff) | |
v0.5.0 beta release
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/install.sh b/ci/install.sh index cbc2125..aa70120 100644 --- a/ci/install.sh +++ b/ci/install.sh @@ -4,7 +4,7 @@ main() { # these are not needed for doc builds if [ $TRAVIS_BRANCH != master ] || [ $TRAVIS_PULL_REQUEST != false ]; then if [ $TARGET = x86_64-unknown-linux-gnu ]; then - ( cd .. && cargo install microamp-tools --version 0.1.0-alpha.2 -f ) + ( cd .. && cargo install microamp-tools --version 0.1.0-alpha.3 -f ) rustup target add thumbv6m-none-eabi thumbv7m-none-eabi fi |