From f91c3d0921d80d784d31902a795b9dcc86c4ed98 Mon Sep 17 00:00:00 2001 From: mariaKt Date: Tue, 26 May 2026 14:51:33 -0500 Subject: [PATCH 1/5] Used pinned uv version. --- .github/workflows/master-push.yml | 6 ++++++ .github/workflows/test.yml | 18 +++++++++++++++--- .github/workflows/update-version.yml | 11 +++++++---- deps/uv_release | 1 + 4 files changed, 29 insertions(+), 7 deletions(-) create mode 100644 deps/uv_release diff --git a/.github/workflows/master-push.yml b/.github/workflows/master-push.yml index d5f82fd3..6b5be168 100644 --- a/.github/workflows/master-push.yml +++ b/.github/workflows/master-push.yml @@ -21,8 +21,14 @@ jobs: run: | git config user.name devops git config user.email devops@runtimeverification.com + - name: 'Get uv release' + id: uv_release + run: | + echo uv_version=$(cat deps/uv_release) >> "${GITHUB_OUTPUT}" - name: 'Install uv' uses: astral-sh/setup-uv@v6 + with: + version: ${{ steps.uv_release.outputs.uv_version }} - name: 'Update release branch with current master' run: | git checkout -B release origin/release diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 5f45b8cf..7587700d 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -21,10 +21,14 @@ jobs: run: | git config user.name devops git config user.email devops@runtimeverification.com + - name: 'Get uv release' + id: uv_release + run: | + echo uv_version=$(cat deps/uv_release) >> "${GITHUB_OUTPUT}" - name: 'Install uv' uses: astral-sh/setup-uv@v5 with: - version: 0.7.2 + version: ${{ steps.uv_release.outputs.uv_version }} - name: 'Update version' run: | og_version=$(git show origin/${GITHUB_BASE_REF}:package/version) @@ -43,10 +47,14 @@ jobs: steps: - name: 'Check out code' uses: actions/checkout@v4 + - name: 'Get uv release' + id: uv_release + run: | + echo uv_version=$(cat deps/uv_release) >> "${GITHUB_OUTPUT}" - name: 'Install uv' uses: astral-sh/setup-uv@v5 with: - version: 0.7.2 + version: ${{ steps.uv_release.outputs.uv_version }} - name: 'Run code quality checks' run: make check @@ -57,10 +65,14 @@ jobs: steps: - name: 'Check out code' uses: actions/checkout@v4 + - name: 'Get uv release' + id: uv_release + run: | + echo uv_version=$(cat deps/uv_release) >> "${GITHUB_OUTPUT}" - name: 'Install uv' uses: astral-sh/setup-uv@v5 with: - version: 0.7.2 + version: ${{ steps.uv_release.outputs.uv_version }} - name: 'Run unit tests' run: make test-unit diff --git a/.github/workflows/update-version.yml b/.github/workflows/update-version.yml index ff721944..ef67a1fe 100644 --- a/.github/workflows/update-version.yml +++ b/.github/workflows/update-version.yml @@ -19,11 +19,14 @@ jobs: with: token: ${{ secrets.JENKINS_GITHUB_PAT }} submodules: true - - name: 'Install uv' + - name: 'Get uv release' + id: uv_release run: | - curl -LsSf https://astral.sh/uv/install.sh | sh - echo ${HOME}/.local/bin >> $GITHUB_PATH - uv --version + echo uv_version=$(cat deps/uv_release) >> "${GITHUB_OUTPUT}" + - name: 'Install uv' + uses: astral-sh/setup-uv@v5 + with: + version: ${{ steps.uv_release.outputs.uv_version }} - name: 'Update kmir release tag' run: | KMIR_VERSION=$(cat ./deps/kmir_release) diff --git a/deps/uv_release b/deps/uv_release new file mode 100644 index 00000000..051fc56b --- /dev/null +++ b/deps/uv_release @@ -0,0 +1 @@ +0.9.28 From fabcd1ae00d2d22dea18e658e83de0db921212cf Mon Sep 17 00:00:00 2001 From: mariaKt Date: Tue, 26 May 2026 14:54:27 -0500 Subject: [PATCH 2/5] Conisstent version of astral-sh/setup-uv GitHub Action. --- .github/workflows/test.yml | 6 +++--- .github/workflows/update-version.yml | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 7587700d..646618df 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -26,7 +26,7 @@ jobs: run: | echo uv_version=$(cat deps/uv_release) >> "${GITHUB_OUTPUT}" - name: 'Install uv' - uses: astral-sh/setup-uv@v5 + uses: astral-sh/setup-uv@v6 with: version: ${{ steps.uv_release.outputs.uv_version }} - name: 'Update version' @@ -52,7 +52,7 @@ jobs: run: | echo uv_version=$(cat deps/uv_release) >> "${GITHUB_OUTPUT}" - name: 'Install uv' - uses: astral-sh/setup-uv@v5 + uses: astral-sh/setup-uv@v6 with: version: ${{ steps.uv_release.outputs.uv_version }} - name: 'Run code quality checks' @@ -70,7 +70,7 @@ jobs: run: | echo uv_version=$(cat deps/uv_release) >> "${GITHUB_OUTPUT}" - name: 'Install uv' - uses: astral-sh/setup-uv@v5 + uses: astral-sh/setup-uv@v6 with: version: ${{ steps.uv_release.outputs.uv_version }} - name: 'Run unit tests' diff --git a/.github/workflows/update-version.yml b/.github/workflows/update-version.yml index ef67a1fe..c282dbcb 100644 --- a/.github/workflows/update-version.yml +++ b/.github/workflows/update-version.yml @@ -24,7 +24,7 @@ jobs: run: | echo uv_version=$(cat deps/uv_release) >> "${GITHUB_OUTPUT}" - name: 'Install uv' - uses: astral-sh/setup-uv@v5 + uses: astral-sh/setup-uv@v6 with: version: ${{ steps.uv_release.outputs.uv_version }} - name: 'Update kmir release tag' From 563e34d67b2738768a1669dd2c8cc9cf5f5bcf7a Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 26 May 2026 23:02:27 +0000 Subject: [PATCH 3/5] Set Version: 0.1.26 --- package/version | 2 +- pyproject.toml | 2 +- uv.lock | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/package/version b/package/version index 0e7400f1..7db26729 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.25 +0.1.26 diff --git a/pyproject.toml b/pyproject.toml index 0f2b07a5..515710e0 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "hatchling.build" [project] name = "kompass" -version = "0.1.25" +version = "0.1.26" description = "K Semantics for the Solana ecosystem" requires-python = "~=3.10" dependencies = [ diff --git a/uv.lock b/uv.lock index 90725755..d3756076 100644 --- a/uv.lock +++ b/uv.lock @@ -1,5 +1,5 @@ version = 1 -revision = 2 +revision = 3 requires-python = ">=3.10, <4" resolution-markers = [ "python_full_version >= '3.15'", @@ -630,7 +630,7 @@ dependencies = [ [[package]] name = "kompass" -version = "0.1.25" +version = "0.1.26" source = { editable = "." } dependencies = [ { name = "kmir" }, From 6bef4a017e3b4f573c97e9530ab793c5edc7105f Mon Sep 17 00:00:00 2001 From: mariaKt Date: Wed, 27 May 2026 14:10:00 -0500 Subject: [PATCH 4/5] Update uv version based on mir-semantics uv version --- .github/workflows/update-version.yml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.github/workflows/update-version.yml b/.github/workflows/update-version.yml index c282dbcb..0576f13e 100644 --- a/.github/workflows/update-version.yml +++ b/.github/workflows/update-version.yml @@ -19,6 +19,12 @@ jobs: with: token: ${{ secrets.JENKINS_GITHUB_PAT }} submodules: true + - name: 'Sync uv version with mir-semantics' + run: | + KMIR_VERSION=$(cat deps/kmir_release) + curl -sf https://raw.githubusercontent.com/runtimeverification/mir-semantics/v${KMIR_VERSION}/deps/uv_release > deps/uv_release + git add deps/uv_release + git commit -m "Sync uv version with mir-semantics v${KMIR_VERSION}" || true - name: 'Get uv release' id: uv_release run: | From b5c2dbd6389f5b0181be7ff74b1e287d15d9acc3 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 28 May 2026 13:59:14 +0000 Subject: [PATCH 5/5] Set Version: 0.1.27 --- package/version | 2 +- pyproject.toml | 2 +- uv.lock | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/package/version b/package/version index 7db26729..a2e1aa9d 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.26 +0.1.27 diff --git a/pyproject.toml b/pyproject.toml index febb82fb..845bd6cd 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "hatchling.build" [project] name = "kompass" -version = "0.1.26" +version = "0.1.27" description = "K Semantics for the Solana ecosystem" requires-python = "~=3.10" dependencies = [ diff --git a/uv.lock b/uv.lock index dd7bec61..6bcc6fa7 100644 --- a/uv.lock +++ b/uv.lock @@ -433,7 +433,7 @@ name = "exceptiongroup" version = "1.3.1" source = { registry = "https://pypi.org/simple" } dependencies = [ - { name = "typing-extensions", marker = "python_full_version < '3.13'" }, + { name = "typing-extensions", marker = "python_full_version < '3.11'" }, ] sdist = { url = "https://files.pythonhosted.org/packages/50/79/66800aadf48771f6b62f7eb014e352e5d06856655206165d775e675a02c9/exceptiongroup-1.3.1.tar.gz", hash = "sha256:8b412432c6055b0b7d14c310000ae93352ed6754f70fa8f7c34141f91c4e3219", size = 30371, upload-time = "2025-11-21T23:01:54.787Z" } wheels = [ @@ -630,7 +630,7 @@ dependencies = [ [[package]] name = "kompass" -version = "0.1.26" +version = "0.1.27" source = { editable = "." } dependencies = [ { name = "kmir" },