From fffea06606847e9992a21f7acda660f8128b286c Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 21 Nov 2023 14:36:16 -0700 Subject: [PATCH] Update dependency: deps/pyk_release (#535) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * 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 Co-authored-by: Burak Bilge Yalçınkaya --- .github/workflows/test-pr.yml | 6 +++--- deps/pyk_release | 2 +- pykwasm/poetry.lock | 26 +++++++++++++------------- pykwasm/pyproject.toml | 2 +- 4 files changed, 18 insertions(+), 18 deletions(-) diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml index bf702a40f..19086168a 100644 --- 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 index 580eb1f9a..500a3b5e0 100644 --- 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 index c4b8735de..0e91a25a3 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -325,14 +325,14 @@ cython = ["cython"] [[package]] name = "exceptiongroup" -version = "1.1.3" +version = "1.2.0" description = "Backport of PEP 654 (exception groups)" category = "dev" optional = false python-versions = ">=3.7" files = [ - {file = "exceptiongroup-1.1.3-py3-none-any.whl", hash = "sha256:343280667a4585d195ca1cf9cef84a4e178c4b6cf2274caef9859782b567d5e3"}, - {file = "exceptiongroup-1.1.3.tar.gz", hash = "sha256:097acd85d473d75af5bb98e41b61ff7fe35efe6675e4f9370ec6ec5126d160e9"}, + {file = "exceptiongroup-1.2.0-py3-none-any.whl", hash = "sha256:4bfd3996ac73b41e9b9628b04e079f193850720ea5945fc96a08633c66912f14"}, + {file = "exceptiongroup-1.2.0.tar.gz", hash = "sha256:91f5c769735f051a4290d52edd0858999b57e5876e9f85937691bd4c9fa3ed68"}, ] [package.extras] @@ -896,7 +896,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "0.1.506" +version = "0.1.509" description = "" category = "main" optional = false @@ -917,8 +917,8 @@ tomli = "^2.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.506" -resolved_reference = "5d9e84673c79f2bad96eff4e83dacc04646e7158" +reference = "v0.1.509" +resolved_reference = "14e201d0f6b44d367d1232268fe6d9ea0d34f849" [[package]] name = "pyperclip" @@ -1005,14 +1005,14 @@ dev = ["pre-commit", "pytest-asyncio", "tox"] [[package]] name = "pytest-xdist" -version = "3.4.0" +version = "3.5.0" description = "pytest xdist plugin for distributed testing, most importantly across multiple CPUs" category = "dev" optional = false python-versions = ">=3.7" files = [ - {file = "pytest-xdist-3.4.0.tar.gz", hash = "sha256:3a94a931dd9e268e0b871a877d09fe2efb6175c2c23d60d56a6001359002b832"}, - {file = "pytest_xdist-3.4.0-py3-none-any.whl", hash = "sha256:e513118bf787677a427e025606f55e95937565e06dfaac8d87f55301e57ae607"}, + {file = "pytest-xdist-3.5.0.tar.gz", hash = "sha256:cbb36f3d67e0c478baa57fa4edc8843887e0f6cfc42d677530a36d7472b32d8a"}, + {file = "pytest_xdist-3.5.0-py3-none-any.whl", hash = "sha256:d075629c7e00b611df89f490a5063944bee7a4362a5ff11c7cc7824a03dfce24"}, ] [package.dependencies] @@ -1117,14 +1117,14 @@ test = ["coverage", "pytest", "pytest-cov"] [[package]] name = "wcwidth" -version = "0.2.10" +version = "0.2.11" description = "Measures the displayed width of unicode strings in a terminal" category = "main" optional = false python-versions = "*" files = [ - {file = "wcwidth-0.2.10-py2.py3-none-any.whl", hash = "sha256:aec5179002dd0f0d40c456026e74a729661c9d468e1ed64405e3a6c2176ca36f"}, - {file = "wcwidth-0.2.10.tar.gz", hash = "sha256:390c7454101092a6a5e43baad8f83de615463af459201709556b6e4b1c861f97"}, + {file = "wcwidth-0.2.11-py2.py3-none-any.whl", hash = "sha256:c4b153acf29f1f0d7fb1b00d097cce82b73de7a2016321c8d7ca71bd76dd848b"}, + {file = "wcwidth-0.2.11.tar.gz", hash = "sha256:25eb3ecbec328cdb945f56f2a7cfe784bdf7a73a8197398c7a7c65e7fe93e9ae"}, ] [[package]] @@ -1146,4 +1146,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "7f7095b47262b236eb9887e68920d5b88d341c91852e41804447ccff4c5fa125" +content-hash = "09557924d5467293d482ba2524c8683b36fd70ca12dc6a01608e4bcc4ec252f0" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 351d82da2..5999969bb 100644 --- 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]