From 36e3b53ad593a0c3e6035b57422121f33c539938 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Wed, 10 Jun 2020 12:05:55 +0200 Subject: [PATCH] Travis: use latest stable Storm version --- .travis.yml | 8 ++++---- CHANGELOG.md | 2 ++ 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/.travis.yml b/.travis.yml index ecb3144..810b2d4 100644 --- a/.travis.yml +++ b/.travis.yml @@ -48,13 +48,13 @@ jobs: # Docker Storm stable - os: linux compiler: gcc - env: TASK=Test CONFIG=Release DOCKER=storm:1.5.1 PYTHON=python3 + env: TASK=Test CONFIG=Release DOCKER=storm:1.6.0 PYTHON=python3 script: travis/build.sh # Docker Storm stable in debug mode - os: linux compiler: gcc - env: TASK=Test CONFIG=Debug DOCKER=storm:1.5.1-debug PYTHON=python3 + env: TASK=Test CONFIG=Debug DOCKER=storm:1.6.0-debug PYTHON=python3 script: travis/build.sh # Documentation @@ -76,6 +76,6 @@ jobs: # Allow failures of stable versions as new features might have been added allow_failures: - os: linux - env: TASK=Test CONFIG=Release DOCKER=storm:1.5.1 PYTHON=python3 + env: TASK=Test CONFIG=Release DOCKER=storm:1.6.0 PYTHON=python3 - os: linux - env: TASK=Test CONFIG=Debug DOCKER=storm:1.5.1-debug PYTHON=python3 + env: TASK=Test CONFIG=Debug DOCKER=storm:1.6.0-debug PYTHON=python3 diff --git a/CHANGELOG.md b/CHANGELOG.md index 526ea94..f383d27 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,6 +4,8 @@ Changelog Version 1.6.x ------------- +### Version 1.6.1 (under development) + ### Version 1.6.0 (2020/06) Requires storm version >= 1.6.0 and pycarl version >= 2.0.4