Updated Jenkins file

Author: abrighton

jenkins/stil-nightly

@@ -49,7 +49,7 @@ pipeline {
                             allowMissing         : true,
                             alwaysLinkToLastBuild: false,
                             keepAll              : true,
-                            reportDir            : './target/scala-2.13/scoverage-report',
+                            reportDir            : './target/scala-3.6.2/scoverage-report',
                             reportFiles          : 'index.html',
                             reportName           : "Scoverage Report"
                     ])

project/Coverage.scala

@@ -8,7 +8,9 @@ object Coverage extends AutoPlugin {
 
   override def projectSettings: Seq[Setting[_]] =
     Seq(
-      coverageEnabled          := false, // XXX TODO FIXME
+      // XXX TODO FIXME: Coverage broken in Scala3? See https://contributors.scala-lang.org/t/coverage-broken-why-does-nobody-care/6262/44
+      // Coverage results for Scala3 show much lower values than for Scala2.
+      coverageEnabled          := false,
       coverageMinimumStmtTotal := 80,
       coverageFailOnMinimum    := true,
       coverageHighlighting     := true,