From a7b564cafe3b96c8a868388bc4b96b319facea44 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 21 Jan 2024 10:06:38 -0800 Subject: [PATCH] update release scripts and notes Signed-off-by: Nikolaj Bjorner --- RELEASE_NOTES.md | 2 +- scripts/release.yml | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md index ffbe6061c0f..c795e7a683f 100644 --- a/RELEASE_NOTES.md +++ b/RELEASE_NOTES.md @@ -17,7 +17,7 @@ Version 4.12.5 - sat.smt=true smt.bv.solver=2 - It solves a few bit-vector problems not handled by bit-blasting, especially if the bit-widths are large. - It is based on encoding bit-vector constraints to non-linear integer arithmetic. - +- Optimizations to the arithmetic solver. Description: https://github.com/Z3Prover/doc/tree/master/arithmetic Version 4.12.4 ============== diff --git a/scripts/release.yml b/scripts/release.yml index d0442ff0698..76f8a8a571a 100644 --- a/scripts/release.yml +++ b/scripts/release.yml @@ -485,7 +485,7 @@ stages: jobs: - job: GitHubPublish - condition: eq(1,0) + condition: eq(1,1) displayName: "Publish to GitHub" pool: vmImage: "windows-latest" @@ -583,7 +583,7 @@ stages: # Enable on release: - job: PyPIPublish - condition: eq(1,0) + condition: eq(1,1) displayName: "Publish to PyPI" pool: vmImage: "ubuntu-latest"