Change pyk dependency to the published version (#656)

* Change `pyk` dependency to the published version

* Test workflow

* Set Version: 0.1.68

* Revert "Test workflow"

This reverts commit 5dffd84.

---------

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

Author: tothtamas28

.github/workflows/update-version.yml

@@ -39,8 +39,8 @@ jobs:
           authToken: '${{ secrets.CACHIX_PUBLIC_TOKEN }}'
       - name: 'Update pyk release tag'
         run: |
-          K_VERSION=v"$(cat deps/k_release)"
-          sed -i 's!kframework = { git = "https://github.com/runtimeverification/k.git", tag="[v0-9\.]*", subdirectory = "pyk" }!kframework = { git = "https://github.com/runtimeverification/k.git", tag="'${K_VERSION}'", subdirectory = "pyk" }!' pykwasm/pyproject.toml
+          K_VERSION=$(cat deps/k_release)
+          sed -i 's!kframework = "[v0-9\.]*"!kframework = "'${K_VERSION}'"!' pykwasm/pyproject.toml
           poetry -C pykwasm update
           git add pykwasm/ && git commit -m "pykwasm/: sync poetry files ${K_VERSION}" || true
       - name: 'Update Nix flake inputs'

flake.nix

@@ -72,11 +72,6 @@
           kwasm-pyk = poetry2nix.mkPoetryApplication {
             python = nixpkgs-pyk.python310;
             projectDir = ./pykwasm;
-            src = rv-utils.lib.mkPykAppSrc {
-              pkgs = import nixpkgs { system = prev.system; };
-              src = ./pykwasm;
-              cleaner = poetry2nix.cleanPythonSources;
-            };
             overrides = poetry2nix.overrides.withDefaults
             (finalPython: prevPython: {
               pyk = nixpkgs-pyk.pyk-python310;

package/version

@@ -1 +1 @@
-0.1.67
+0.1.68