Skip to content

Commit ab7d44d

Browse files
committed
Updated documentation for release
1 parent 4141be1 commit ab7d44d

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

doc/checklist_new_release.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,8 @@ The following steps should be performed when releasing a new stormpy version.
55
To manually update the Storm version:
66
* change `STORM_MIN_VERSION` in `CMakeLists.txt`
77
* change `STORM_GIT_TAG` in `pyproject.toml`
8+
Note that the CI test use the Docker `storm:ci` images which are only updated once per day.
9+
The CI fails if the new Storm version is not yet present in these CI Docker images.
810

911
2. Check that the stormpy [CI](https://github.com/moves-rwth/stormpy/actions/) builds without errors and all tests are successful.
1012

0 commit comments

Comments
 (0)