Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin (#2540)

* kevm-pyk/src/kevm_pyk/kproj/plugin: Set Version 8918ee62c16e5c3884d536f1c8a62918ab44bf57 * Set Version: 1.0.655 * deps/blockchain-k-plugin_release: sync release file version 8918ee62c16e5c3884d536f1c8a62918ab44bf57 * kevm-pyk/src/kevm_pyk/kproj/plugin: Set Version 640a700ed9cfb515062ee9cffaeeb631b38dd95a * deps/blockchain-k-plugin_release: sync release file version 640a700ed9cfb515062ee9cffaeeb631b38dd95a * kevm-pyk/src/kevm_pyk/kproj/plugin: Set Version f8a93660317c377fc7a16b3d49b0518892354a28 * deps/blockchain-k-plugin_release: sync release file version f8a93660317c377fc7a16b3d49b0518892354a28 * kevm-pyk/src/kevm_pyk/kproj/plugin: Set Version 415b8ce8fa594f41ce3a3f29fc83e954284f81cf * Set Version: 1.0.656 * deps/blockchain-k-plugin_release: sync release file version 415b8ce8fa594f41ce3a3f29fc83e954284f81cf * Set Version: 1.0.657 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Palina Tolmach <[email protected]>
runtimeverification · Jul 30, 2024 · 57a0267 · 57a0267
1 parent f33b28c
commit 57a0267
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release
@@ -1 +1 @@
-f4c41bfa5e44f5bc29e5d9151557ce735bcde087
+415b8ce8fa594f41ce3a3f29fc83e954284f81cf
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kevm-pyk"
-version = "1.0.656"
+version = "1.0.657"
 description = ""
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py
@@ -5,4 +5,4 @@
 if TYPE_CHECKING:
     from typing import Final
 
-VERSION: Final = '1.0.656'
+VERSION: Final = '1.0.657'
diff --git a/kevm-pyk/src/kevm_pyk/kproj/plugin b/kevm-pyk/src/kevm_pyk/kproj/plugin
diff --git a/package/version b/package/version
@@ -1 +1 @@
-1.0.656
+1.0.657
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		f4c41bfa5e44f5bc29e5d9151557ce735bcde087
		415b8ce8fa594f41ce3a3f29fc83e954284f81cf
+21 −1		.github/workflows/test-pr.yml
+14 −0		.github/workflows/update-version.yml
+1 −0		.gitignore
+84 −37		Makefile
+1 −1		deps/k_release
+378 −13		flake.lock
+87 −10		flake.nix
+7 −7		krypto/poetry.lock
+1 −1		krypto/pyproject.toml
+23 −15		krypto/src/tests/integration/conftest.py
+0 −1		krypto/src/tests/integration/utils.py
+0 −0		plugin-c/blake2-compress.cpp