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

* kevm-pyk/src/kevm_pyk/kproj/plugin: Set Version b24fa372ca127d51cdc185e431d0ccf471980c04 * Set Version: 1.0.628 * deps/blockchain-k-plugin_release: sync release file version b24fa372ca127d51cdc185e431d0ccf471980c04 * Set Version: 1.0.629 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Andrei Văcaru <[email protected]>
runtimeverification · Jul 4, 2024 · 5777d64 · 5777d64
1 parent 1984739
commit 5777d64
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 @@
-efad3c4f9f5a3930feeb076a3e232764c896dceb
+b24fa372ca127d51cdc185e431d0ccf471980c04
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.628"
+version = "1.0.629"
 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.628'
+VERSION: Final = '1.0.629'
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.628
+1.0.629
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		efad3c4f9f5a3930feeb076a3e232764c896dceb
		b24fa372ca127d51cdc185e431d0ccf471980c04
+2 −2		.github/workflows/update-version.yml
+1 −1		deps/k_release
+77 −82		krypto/poetry.lock
+1 −1		krypto/pyproject.toml
+3 −3		krypto/src/tests/integration/test-data/ecdsa-test.k
+1 −1		plugin/krypto.md