Update dependency: deps/kwasm_release (#79)

* deps/kwasm_release: Set Version 0.1.127

* Set Version: 0.1.65

* Sync Poetry files 0.1.127

* deps/k_release: sync release file version 7.1.253

* flake.{nix,lock}: update Nix derivations

* src/komet: adjust imports

* .github/Dockerfile: add wasm32v1-none rust target

* .github/Dockerfile: adjust how we install rust targets

* .github/Dockerfile: non-interactive rustup install

* .github/Dockerfile: another attepmt

* .github/Dockerfile: another attempt

* .github/Dockerfile: another attempt

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Everett Hildenbrandt <[email protected]>

Author: 3 people

.github/actions/with-docker/Dockerfile

@@ -24,13 +24,12 @@ RUN    groupadd -g ${GROUP_ID} user \
 USER user
 WORKDIR /home/user
 
-ENV PATH="/home/user/.local/bin:${PATH}"
-RUN curl -sSL https://install.python-poetry.org | python3 -
+ENV PATH="/home/user/.local/bin:/home/user/.cargo/bin:${PATH}"
 
-RUN wget -O rustup.sh https://sh.rustup.rs && \
-    chmod +x rustup.sh && \
-    ./rustup.sh --verbose --target wasm32-unknown-unknown -y
+RUN curl -sSL https://install.python-poetry.org | python3 -
 
-ENV PATH="/home/user/.cargo/bin:${PATH}"
+RUN    curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | bash -s -- -y \
+    && rustup target add wasm32-unknown-unknown \
+    && rustup target add wasm32v1-none
 
 RUN cargo install --locked stellar-cli --features opt

deps/k_release

@@ -1 +1 @@
-7.1.241
+7.1.253

deps/kwasm_release

@@ -1 +1 @@
-0.1.126
+0.1.127

flake.lock

@@ -2,7 +2,7 @@
   description = "komet - K tooling for the Soroban platform";
 
   inputs = {
-    wasm-semantics.url = "github:runtimeverification/wasm-semantics/v0.1.126";
+    wasm-semantics.url = "github:runtimeverification/wasm-semantics/v0.1.127";
     k-framework.follows = "wasm-semantics/k-framework";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";

flake.nix

@@ -1 +1 @@
-0.1.64
+0.1.65