From eae0530675384575e33ba50a2539e121a3910bca Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 13 Jul 2026 18:56:19 -0700 Subject: [PATCH] update version to 4.17.1 Signed-off-by: Nikolaj Bjorner --- .github/workflows/nightly.yml | 2 +- .github/workflows/nuget-build.yml | 14 +++++++------- .github/workflows/release.yml | 2 +- MODULE.bazel | 2 +- scripts/VERSION.txt | 2 +- 5 files changed, 11 insertions(+), 11 deletions(-) diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index 2ad693ba80..89561e4e4d 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -26,7 +26,7 @@ permissions: env: MAJOR: '4' MINOR: '17' - PATCH: '0' + PATCH: '1' jobs: # ============================================================================ diff --git a/.github/workflows/nuget-build.yml b/.github/workflows/nuget-build.yml index 501a0eb70e..20f19afb59 100644 --- a/.github/workflows/nuget-build.yml +++ b/.github/workflows/nuget-build.yml @@ -4,9 +4,9 @@ on: workflow_dispatch: inputs: version: - description: 'Version number for the NuGet package (e.g., 4.17.0)' + description: 'Version number for the NuGet package (e.g., 4.17.1)' required: true - default: '4.17.0' + default: '4.17.1' push: tags: - 'z3-*' @@ -32,7 +32,7 @@ jobs: run: | for /f "usebackq delims=" %%i in (`"C:\Program Files (x86)\Microsoft Visual Studio\Installer\vswhere.exe" -latest -prerelease -products * -requires Microsoft.VisualStudio.Component.VC.Tools.x86.x64 -property installationPath`) do set "VSPATH=%%i" call "%VSPATH%\VC\Auxiliary\Build\vcvarsall.bat" x64 || exit /b 1 - python scripts\mk_win_dist.py --x64-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --assembly-version=${{ github.event.inputs.version || '4.17.0' }} --zip + python scripts\mk_win_dist.py --x64-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --assembly-version=${{ github.event.inputs.version || '4.17.1' }} --zip - name: Upload Windows x64 artifact uses: actions/upload-artifact@v7 @@ -57,7 +57,7 @@ jobs: run: | for /f "usebackq delims=" %%i in (`"C:\Program Files (x86)\Microsoft Visual Studio\Installer\vswhere.exe" -latest -prerelease -products * -requires Microsoft.VisualStudio.Component.VC.Tools.x86.x64 -property installationPath`) do set "VSPATH=%%i" call "%VSPATH%\VC\Auxiliary\Build\vcvarsall.bat" x86 || exit /b 1 - python scripts\mk_win_dist.py --x86-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --assembly-version=${{ github.event.inputs.version || '4.17.0' }} --zip + python scripts\mk_win_dist.py --x86-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --assembly-version=${{ github.event.inputs.version || '4.17.1' }} --zip - name: Upload Windows x86 artifact uses: actions/upload-artifact@v7 @@ -82,7 +82,7 @@ jobs: run: | for /f "usebackq delims=" %%i in (`"C:\Program Files (x86)\Microsoft Visual Studio\Installer\vswhere.exe" -latest -prerelease -products * -requires Microsoft.VisualStudio.Component.VC.Tools.x86.x64 -property installationPath`) do set "VSPATH=%%i" call "%VSPATH%\VC\Auxiliary\Build\vcvarsall.bat" amd64_arm64 || exit /b 1 - python scripts\mk_win_dist_cmake.py --arm64-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --assembly-version=${{ github.event.inputs.version || '4.17.0' }} --zip + python scripts\mk_win_dist_cmake.py --arm64-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --assembly-version=${{ github.event.inputs.version || '4.17.1' }} --zip - name: Upload Windows ARM64 artifact uses: actions/upload-artifact@v7 @@ -192,7 +192,7 @@ jobs: shell: cmd run: | cd package-files - python ..\scripts\mk_nuget_task.py . ${{ github.event.inputs.version || '4.17.0' }} https://github.com/Z3Prover/z3 ${{ github.ref_name }} ${{ github.sha }} ${{ github.workspace }} symbols + python ..\scripts\mk_nuget_task.py . ${{ github.event.inputs.version || '4.17.1' }} https://github.com/Z3Prover/z3 ${{ github.ref_name }} ${{ github.sha }} ${{ github.workspace }} symbols - name: Pack NuGet package shell: cmd @@ -241,7 +241,7 @@ jobs: shell: cmd run: | cd packages - python ..\scripts\mk_nuget_task.py . ${{ github.event.inputs.version || '4.17.0' }} https://github.com/Z3Prover/z3 ${{ github.ref_name }} ${{ github.sha }} ${{ github.workspace }} symbols x86 + python ..\scripts\mk_nuget_task.py . ${{ github.event.inputs.version || '4.17.1' }} https://github.com/Z3Prover/z3 ${{ github.ref_name }} ${{ github.sha }} ${{ github.workspace }} symbols x86 - name: Pack NuGet package shell: cmd diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index fcd0e49fc8..5e1d3eeefa 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -23,7 +23,7 @@ permissions: contents: write env: - RELEASE_VERSION: '4.17.0' + RELEASE_VERSION: '4.17.1' jobs: # ============================================================================ diff --git a/MODULE.bazel b/MODULE.bazel index 08acbe16d7..0d4d442ffc 100644 --- a/MODULE.bazel +++ b/MODULE.bazel @@ -1,6 +1,6 @@ module( name = "z3", - version = "4.17.0", # TODO: Read from VERSION.txt - currently manual sync required + version = "4.17.1", # TODO: Read from VERSION.txt - currently manual sync required bazel_compatibility = [">=7.0.0"], ) diff --git a/scripts/VERSION.txt b/scripts/VERSION.txt index b97116928f..e7887e717e 100644 --- a/scripts/VERSION.txt +++ b/scripts/VERSION.txt @@ -1 +1 @@ -4.17.0.0 +4.17.1.0