From d6056d71fa877905780a9dc81da2f0c046ba278d Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 18 Apr 2018 20:31:44 +0200
Subject: [PATCH] Travis: try to fix allow_failures

---
 .travis.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index 6972611..4ddd9ae 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -75,8 +75,11 @@ jobs:
         on:
           branch: master
 
+# Allow failures of stable versions as new features might have been added
 allow_failures:
     - os: linux
+      compiler: gcc
       env: TASK=Test CONFIG=Release DOCKER=storm:1.2.1 PYTHON=python3
     - os: linux
+      compiler: gcc
       env: TASK=Test CONFIG=Debug DOCKER=storm:1.2.1-debug PYTHON=python3