Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update dependency: deps/kwasm_release #41

Merged
merged 24 commits into from
Oct 22, 2024
Merged

Update dependency: deps/kwasm_release #41

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
24 commits
Select commit Hold shift + click to select a range
0d2292b
deps/kwasm_release: Set Version 0.1.107
Sep 24, 2024
ff45001
Set Version: 0.1.35
Sep 24, 2024
7d261a5
Sync Poetry files 0.1.107
Sep 24, 2024
adebe6b
deps/k_release: sync release file version 7.1.149
Sep 24, 2024
ec658b4
flake.{nix,lock}: update Nix derivations
Sep 24, 2024
c216d00
deps/kwasm_release: Set Version 0.1.108
Sep 30, 2024
8e7f561
Sync Poetry files 0.1.108
Sep 30, 2024
2da3b46
deps/k_release: sync release file version 7.1.151
Sep 30, 2024
d2c9c01
flake.{nix,lock}: update Nix derivations
Sep 30, 2024
945b40b
deps/kwasm_release: Set Version 0.1.109
Oct 7, 2024
459d25f
Sync Poetry files 0.1.109
Oct 7, 2024
08d29f8
deps/k_release: sync release file version 7.1.155
Oct 7, 2024
a80c192
flake.{nix,lock}: update Nix derivations
Oct 7, 2024
c24bb79
deps/kwasm_release: Set Version 0.1.110
Oct 15, 2024
2e7db9d
Sync Poetry files 0.1.110
Oct 15, 2024
c627f81
deps/k_release: sync release file version 7.1.158
Oct 15, 2024
49d51a9
flake.{nix,lock}: update Nix derivations
Oct 15, 2024
e5ec641
deps/kwasm_release: Set Version 0.1.111
Oct 21, 2024
4b866b5
Sync Poetry files 0.1.111
Oct 21, 2024
80754d8
deps/k_release: sync release file version 7.1.164
Oct 21, 2024
9225b5a
flake.{nix,lock}: update Nix derivations
Oct 21, 2024
cfe7d68
Dockerfile: fix stellar cli installation instructions
bbyalcinkaya Oct 22, 2024
44a6368
Sync Poetry files 0.1.111
Oct 22, 2024
7ae3a90
flake.{nix,lock}: update Nix derivations
Oct 22, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 1 addition & 2 deletions .github/actions/with-docker/Dockerfile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -29,5 +29,4 @@ RUN wget -O rustup.sh https://sh.rustup.rs && \

ENV PATH="/home/user/.cargo/bin:${PATH}"

RUN cargo install --locked cargo-binstall
RUN cargo binstall -y stellar-cli
RUN cargo install --locked stellar-cli --features opt
2 changes: 1 addition & 1 deletion deps/k_release
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
7.1.137
7.1.164
2 changes: 1 addition & 1 deletion deps/kwasm_release
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
0.1.105
0.1.111
62 changes: 31 additions & 31 deletions flake.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion flake.nix
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
description = "komet - K tooling for the Soroban platform";

inputs = {
wasm-semantics.url = "github:runtimeverification/wasm-semantics/v0.1.105";
wasm-semantics.url = "github:runtimeverification/wasm-semantics/v0.1.111";
k-framework.follows = "wasm-semantics/k-framework";
nixpkgs.follows = "k-framework/nixpkgs";
flake-utils.follows = "k-framework/flake-utils";
Expand Down
2 changes: 1 addition & 1 deletion package/version
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
0.1.34
0.1.35
Loading
Loading