Merge pull request #876 from CosmWasm/upgrade-rust-optimizer-0.13

Upgrade workspace-optimizer to 0.13.0

Author: webmaster128

.circleci/config.yml

@@ -559,7 +559,7 @@ jobs:
       - run:
           name: Build development contracts
           command: |
-            docker run --volumes-from with_code cosmwasm/workspace-optimizer:0.12.8
+            docker run --volumes-from with_code cosmwasm/workspace-optimizer:0.13.0
             docker cp with_code:/code/artifacts ./artifacts
       - run:
           name: Show data

README.md

@@ -102,9 +102,9 @@ To compile all the contracts, run the following in the repo root:
 
 ```
 docker run --rm -v "$(pwd)":/code \
-  --mount type=volume,source="$(basename "$(pwd)")_cache",target=/code/target \
+  --mount type=volume,source="$(basename "$(pwd)")_cache",target=/target \
   --mount type=volume,source=registry_cache,target=/usr/local/cargo/registry \
-  cosmwasm/workspace-optimizer:0.12.13
+  cosmwasm/workspace-optimizer:0.13.0
 ```
 
 This will compile all packages in the `contracts` directory and output the stripped and optimized wasm code under the

scripts/optimizer.sh

@@ -1,7 +1,7 @@
 :
 
 U="cosmwasm"
-V="0.12.13"
+V="0.13.0"
 
 M=$(uname -m)
 #M="x86_64" # Force Intel arch
@@ -11,6 +11,6 @@ S=${M#x86_64}
 S=${S:+-$S}
 
 docker run --platform $A --rm -v "$(pwd)":/code \
-  --mount type=volume,source="$(basename "$(pwd)")_cache",target=/code/target \
+  --mount type=volume,source="$(basename "$(pwd)")_cache",target=/target \
   --mount type=volume,source=registry_cache,target=/usr/local/cargo/registry \
   $U/workspace-optimizer$S:$V