Do not print 'running phase ...' when compact mode is on (#1577)

* do not print 'running phase ...' when compact mode is on

* add cache sbt

.github/workflows/stainless-CI.yml

@@ -22,6 +22,7 @@ jobs:
       with:
         distribution: temurin
         java-version: 17
+        cache: sbt
     - name: Install solvers
       run: ./stainless-ci.sh --install-solvers $GITHUB_WORKSPACE/.local/bin
     - name: Add solvers to PATH

.github/workflows/stainless-nightly.yml

@@ -19,6 +19,7 @@ jobs:
       with:
         distribution: temurin
         java-version: 17
+        cache: sbt
     - name: Install solvers
       run: ./stainless-ci.sh --install-solvers $GITHUB_WORKSPACE/.local/bin
     - name: Add solvers to PATH

core/src/main/scala/stainless/extraction/utils/NamedPipeline.scala

@@ -136,7 +136,8 @@ class NamedPipeline private(override val name: String, override val context: ino
   // `extract` is a wrapper around `super.extract` which outputs trees for
   // debugging and which outputs position checks
   override def extract(symbols: s.Symbols): (t.Symbols, ExtractionSummary) = debug { syms =>
-    context.reporter.emit(context.reporter.ProgressMessage(context.reporter.INFO, PhaseExtractionTag, s"Running phase $name"))
+    if !isCompactModeOn(using context) then
+      context.reporter.emit(context.reporter.ProgressMessage(context.reporter.INFO, PhaseExtractionTag, s"Running phase $name"))
     context.timers.extraction.get(name).run(underlying.extract(syms))
   } (symbols)
 }