diff --git a/CHANGELOG.md b/CHANGELOG.md index b98875728b..6e6aba6681 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,6 +4,11 @@ Changelog Version 1.12.x -------------- +### Version 1.12.1 (2026/03) +Requires Storm version >= 1.12.0. Binaries for this release are linked with Storm 1.12.0. + +- Developer: fixed issue in release CI + ### Version 1.12.0 (2026/03) Requires Storm version >= 1.12.0. diff --git a/lib/stormpy/_version.py b/lib/stormpy/_version.py index b518f6eed0..438a38d1e5 100644 --- a/lib/stormpy/_version.py +++ b/lib/stormpy/_version.py @@ -1 +1 @@ -__version__ = "1.12.0" +__version__ = "1.12.1"