Blockchain plugin nix version update (#303)

* Set up workflow

* Temp: run on this branch to fix discrepancy

* Set Version: 0.1.93

* kmultiversx/: sync poetry files 0.1.71

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

* Drop temporary branch run

---------

Co-authored-by: devops <[email protected]>

.github/workflows/update-version.yml

@@ -3,6 +3,7 @@ on:
   push:
     branches:
       - '_update-deps/runtimeverification/wasm-semantics'
+      - '_update-deps/runtimeverification/blockchain-k-plugin'
 # Stop in progress workflows on the same branch and same workflow to use latest committed code
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
@@ -45,13 +46,20 @@ jobs:
           K_VERSION=$(poetry -C kmultiversx run python3 -c 'import pyk; print(pyk.__version__)')
           echo ${K_VERSION} > deps/k_release
           git add deps/k_release && git commit -m "deps/k_release: sync release file version ${K_VERSION}" || true
+      - name: 'Update plugin release file'
+        run: |
+          BKP_VERSION=$(git -C kmultiversx/src/kmultiversx/kdist/plugin rev-parse HEAD)
+          echo ${BKP_VERSION} > deps/blockchain-k-plugin_release
+          git add deps/blockchain-k-plugin_release && git commit -m "deps/blockchain-k-plugin_release: sync release file version ${BKP_VERSION}" || true
       - name: 'Update Nix flake inputs'
         run: |
           K_VERSION="$(cat deps/k_release)"
           PYKWASM_VERSION="$(cat deps/kwasm_release)"
+          BKP_VERSION="$(cat deps/blockchain-k-plugin_release)"
           sed -i 's!    k-framework.url = "github:runtimeverification/k/v[[:digit:]]\+\.[[:digit:]]\+\.[[:digit:]]\+"!    k-framework.url = "github:runtimeverification/k/'"v${K_VERSION}"'"!' flake.nix
           sed -i 's!    pyk.url = "github:runtimeverification/k/v[[:digit:]]\+\.[[:digit:]]\+\.[[:digit:]]\+?dir=pyk"!    pyk.url = "github:runtimeverification/k/'"v${K_VERSION}"'?dir=pyk"!' flake.nix
           sed -i 's!    wasm-semantics.url = "github:runtimeverification/wasm-semantics/v[[:digit:]]\+\.[[:digit:]]\+\.[[:digit:]]\+"!    wasm-semantics.url = "github:runtimeverification/wasm-semantics/'"v${PYKWASM_VERSION}"'"!' flake.nix
+          sed -i 's!        "github:runtimeverification/blockchain-k-plugin/.*";!        "github:runtimeverification/blockchain-k-plugin/'"${BKP_VERSION}"'";!' flake.nix
           nix flake update
           git add flake.nix flake.lock && git commit -m 'flake.{nix,lock}: update Nix derivations' || true
       - name: 'Push updates'

deps/blockchain-k-plugin_release

@@ -0,0 +1 @@
+b24fa372ca127d51cdc185e431d0ccf471980c04

flake.nix

@@ -12,7 +12,7 @@
     poetry2nix.follows = "pyk/poetry2nix";
     blockchain-k-plugin = {
       url =
-        "github:runtimeverification/blockchain-k-plugin/3054e0fca2b5b621945e643c361a4777db4b3f52";
+        "github:runtimeverification/blockchain-k-plugin/b24fa372ca127d51cdc185e431d0ccf471980c04";
       inputs.flake-utils.follows = "k-framework/flake-utils";
       inputs.nixpkgs.follows = "k-framework/nixpkgs";
     };

kmultiversx/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kmultiversx"
-version = "0.1.92"
+version = "0.1.93"
 description = "Python tools for Elrond semantics"
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

package/version

@@ -1 +1 @@
-0.1.92
+0.1.93