mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-10-09 04:35:47 +00:00
Code Activity

update working version, unreleased

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2026-08-20 11:34:42 -07:00
parent c1c2f9498c
commit 628af1571a
3 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/nightly.yml vendored
View file

@ -25,7 +25,7 @@ permissions:
env:
MAJOR: '5'
MINOR: '1'
MINOR: '2'
PATCH: '0'
jobs:

2
.github/workflows/release.yml vendored
View file

@ -23,7 +23,7 @@ permissions:
contents: write
env:
RELEASE_VERSION: '5.1.0'
RELEASE_VERSION: '5.2.0'
jobs:
# ============================================================================

2
MODULE.bazel
View file

@ -1,6 +1,6 @@
module(
name = "z3",
version = "5.1.0", # TODO: Read from VERSION.txt - currently manual sync required
version = "5.2.0", # TODO: Read from VERSION.txt - currently manual sync required
bazel_compatibility = [">=7.0.0"],
)