From c0589fcc638af536519d2f53b9d32fb96db823d3 Mon Sep 17 00:00:00 2001
From: JanBessai <jan.bessai@tu-dortmund.de>
Date: Fri, 20 Sep 2019 14:56:57 +0200
Subject: [PATCH] Restrict coverage generation to Scala 2.12.10

Necessary until sbt-scoverage [gets fixed](https://github.com/scoverage/sbt-scoverage/issues/295)
---
 .travis.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index ae636d9..a806121 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -14,7 +14,9 @@ jobs:
       jdk: oraclejdk8
     - stage: test
       jdk: openjdk11
-      script: sbt clean coverage +test && sbt coverageReport coveralls
+      script: sbt clean test &&
+              sbt coverage ++ 2.12.10 test &&
+                sbt coverageReport coveralls
     - stage: deploy
       jdk: openjdk11
       script: |