Skip to content

Commit

Permalink
update release scripts and notes
Browse files Browse the repository at this point in the history
Signed-off-by: Nikolaj Bjorner <[email protected]>
  • Loading branch information
NikolajBjorner committed Jan 21, 2024
1 parent 7486e87 commit a7b564c
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion RELEASE_NOTES.md
Original file line number Diff line number Diff line change
Expand Up @@ -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
==============
Expand Down
4 changes: 2 additions & 2 deletions scripts/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -485,7 +485,7 @@ stages:
jobs:

- job: GitHubPublish
condition: eq(1,0)
condition: eq(1,1)
displayName: "Publish to GitHub"
pool:
vmImage: "windows-latest"
Expand Down Expand Up @@ -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"
Expand Down

0 comments on commit a7b564c

Please sign in to comment.