Merge pull request #82 from CosmWasm/jakub/update-circleci-workspace-…

…optimizer Update workspace optimizer image to 0.12.7 on circleci
public-awesome · Sep 15, 2022 · 27ffdc6 · 27ffdc6
2 parents ad5b0ed + 97b64e2
commit 27ffdc6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -261,7 +261,7 @@ jobs:
       - run:
           name: Build development contracts
           command: |
-            docker run --volumes-from with_code cosmwasm/workspace-optimizer:0.12.1
+            docker run --volumes-from with_code cosmwasm/workspace-optimizer:0.12.7
             docker cp with_code:/code/artifacts ./artifacts
       - run:
           name: Show data