Update dependency: deps/pyk_release (#535)

* deps/pyk_release: Set Version v0.1.507 * pykwasm/: sync poetry files v0.1.507 * deps/pyk_release: Set Version v0.1.508 * pykwasm/: sync poetry files v0.1.508 * increase timout limit * deps/pyk_release: Set Version v0.1.509 * pykwasm/: sync poetry files v0.1.509 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Burak Bilge Yalçınkaya <[email protected]>
runtimeverification · Nov 21, 2023 · fffea06 · fffea06
1 parent 6b4434f
commit fffea06
Show file tree

Hide file tree

Showing 4 changed files with 18 additions and 18 deletions.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -68,7 +68,7 @@ jobs:
     needs: [pykwasm-unit-tests, pykwasm-integration-tests]
     name: 'Parser Tests'
     runs-on: [self-hosted, linux, normal]
-    timeout-minutes: 18
+    timeout-minutes: 30
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v3
@@ -98,7 +98,7 @@ jobs:
     needs: [parse-tests]
     name: 'Conformance Tests'
     runs-on: [self-hosted, linux, normal]
-    timeout-minutes: 18
+    timeout-minutes: 30
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v3
@@ -130,7 +130,7 @@ jobs:
     needs: [pykwasm-unit-tests, pykwasm-integration-tests]
     name: 'Prover Tests'
     runs-on: [self-hosted, linux, normal]
-    timeout-minutes: 18
+    timeout-minutes: 30
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v3

diff --git a/deps/pyk_release b/deps/pyk_release
@@ -1 +1 @@
-v0.1.506
+v0.1.509
diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
@@ -14,7 +14,7 @@ authors = [
 python = "^3.10"
 cytoolz = "^0.12.1"
 numpy = "^1.24.2"
-pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.506" }
+pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.509" }
 py-wasm = {url = "https://github.com/runtimeverification/py-wasm/archive/refs/tags/0.1.1.tar.gz"}
 
 [tool.poetry.group.dev.dependencies]