bump optimizer to v0.15.1

DA0-DA0 · May 28, 2024 · 6148f8b · 6148f8b
1 parent 9ec7b0a
commit 6148f8b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/devtools/optimize.sh b/devtools/optimize.sh
@@ -5,12 +5,12 @@ if [[ $(uname -m) =~ "arm64" ]]; then \
         --mount type=volume,source="$(basename "$(pwd)")_cache",target=/code/target \
         --mount type=volume,source=registry_cache,target=/usr/local/cargo/registry \
         --platform linux/arm64 \
-        cosmwasm/workspace-optimizer-arm64:0.12.13
+        cosmwasm/workspace-optimizer-arm64:0.15.1
 
 else
     docker run --rm -v "$(pwd)":/code \
         --mount type=volume,source="$(basename "$(pwd)")_cache",target=/code/target \
         --mount type=volume,source=registry_cache,target=/usr/local/cargo/registry \
         --platform linux/amd64 \
-        cosmwasm/workspace-optimizer:0.12.13
+        cosmwasm/workspace-optimizer:0.15.1
 fi