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

Jump to bottom

Update dependency: kmultiversx/src/kmultiversx/kdist/plugin #321

Merged
merged 9 commits into from
Aug 23, 2024
Merged

Update dependency: kmultiversx/src/kmultiversx/kdist/plugin #321

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
b4ea929
kmultiversx/src/kmultiversx/kdist/plugin: Set Version 5d78fff8ccbe3bf…
Aug 20, 2024
3a50cd5
Set Version: 0.1.110
Aug 20, 2024
e3bb12a
kmultiversx/: sync poetry files 0.1.95
Aug 20, 2024
6aae8d8
deps/blockchain-k-plugin_release: sync release file version 5d78fff8c…
Aug 20, 2024
24c8f6d
flake.{nix,lock}: update Nix derivations
Aug 20, 2024
b5010d0
kmultiversx/src/kmultiversx/kdist/plugin: Set Version 44d875a9a36b145…
Aug 21, 2024
49440a9
kmultiversx/: sync poetry files 0.1.95
Aug 21, 2024
17e13c6
deps/blockchain-k-plugin_release: sync release file version 44d875a9a…
Aug 21, 2024
ac22721
flake.{nix,lock}: update Nix derivations
Aug 21, 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
2 changes: 1 addition & 1 deletion deps/blockchain-k-plugin_release
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
64bb64b6c908c15b3dfe67ace70936b7d3913672
44d875a9a36b14529c0bf40e7f36dc4f23429153
40 changes: 20 additions & 20 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 @@ -12,7 +12,7 @@
poetry2nix.follows = "pyk/poetry2nix";
blockchain-k-plugin = {
url =
"github:runtimeverification/blockchain-k-plugin/64bb64b6c908c15b3dfe67ace70936b7d3913672";
"github:runtimeverification/blockchain-k-plugin/44d875a9a36b14529c0bf40e7f36dc4f23429153";
inputs.flake-utils.follows = "k-framework/flake-utils";
inputs.nixpkgs.follows = "k-framework/nixpkgs";
};
Expand Down
22 changes: 11 additions & 11 deletions kmultiversx/poetry.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 kmultiversx/pyproject.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"

[tool.poetry]
name = "kmultiversx"
version = "0.1.109"
version = "0.1.110"
description = "Python tools for Elrond semantics"
authors = [
"Runtime Verification, Inc. <contact@runtimeverification.com>",
Expand Down
2 changes: 1 addition & 1 deletion kmultiversx/src/kmultiversx/kdist/plugin
Open in desktop
Submodule plugin updated 5 files
+1 −1 deps/k_release
+16 −16 flake.lock
+1 −1 flake.nix
+23 −23 krypto/poetry.lock
+1 −1 krypto/pyproject.toml
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.109
0.1.110
Loading