Skip to content

Commit

Permalink
Update dependency: kmultiversx/src/kmultiversx/kdist/plugin (#311)
Browse files Browse the repository at this point in the history
* kmultiversx/src/kmultiversx/kdist/plugin: Set Version 8031e7be727e903b817fff6639a9d3a4bbe82f11

* Set Version: 0.1.101

* kmultiversx/: sync poetry files 0.1.90

* deps/blockchain-k-plugin_release: sync release file version 8031e7be727e903b817fff6639a9d3a4bbe82f11

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

---------

Co-authored-by: devops <[email protected]>
  • Loading branch information
rv-jenkins and devops authored Jul 24, 2024
1 parent be78362 commit bf86434
Show file tree
Hide file tree
Showing 7 changed files with 12 additions and 12 deletions.
2 changes: 1 addition & 1 deletion deps/blockchain-k-plugin_release
Original file line number Diff line number Diff line change
@@ -1 +1 @@
b24fa372ca127d51cdc185e431d0ccf471980c04
8031e7be727e903b817fff6639a9d3a4bbe82f11
8 changes: 4 additions & 4 deletions flake.lock

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
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/b24fa372ca127d51cdc185e431d0ccf471980c04";
"github:runtimeverification/blockchain-k-plugin/8031e7be727e903b817fff6639a9d3a4bbe82f11";
inputs.flake-utils.follows = "k-framework/flake-utils";
inputs.nixpkgs.follows = "k-framework/nixpkgs";
};
Expand Down
6 changes: 3 additions & 3 deletions kmultiversx/poetry.lock

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
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.100"
version = "0.1.101"
description = "Python tools for Elrond semantics"
authors = [
"Runtime Verification, Inc. <[email protected]>",
Expand Down
2 changes: 1 addition & 1 deletion kmultiversx/src/kmultiversx/kdist/plugin
2 changes: 1 addition & 1 deletion package/version
Original file line number Diff line number Diff line change
@@ -1 +1 @@
0.1.100
0.1.101

0 comments on commit bf86434

Please sign in to comment.