From 5781d1f00c7bddd837712ad629d35c44a5e9598f Mon Sep 17 00:00:00 2001 From: Samuel Chassot Date: Fri, 6 Sep 2024 11:29:01 +0200 Subject: [PATCH 1/2] do not print 'running phase ...' when compact mode is on --- .../main/scala/stainless/extraction/utils/NamedPipeline.scala | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/core/src/main/scala/stainless/extraction/utils/NamedPipeline.scala b/core/src/main/scala/stainless/extraction/utils/NamedPipeline.scala index cbe4cbec9..eec4b82a3 100644 --- a/core/src/main/scala/stainless/extraction/utils/NamedPipeline.scala +++ b/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) } From e66767bcfd8faf6feb16dc26829288e8a42077ee Mon Sep 17 00:00:00 2001 From: Samuel Chassot Date: Fri, 6 Sep 2024 13:32:46 +0200 Subject: [PATCH 2/2] add cache sbt --- .github/workflows/stainless-CI.yml | 1 + .github/workflows/stainless-nightly.yml | 1 + 2 files changed, 2 insertions(+) diff --git a/.github/workflows/stainless-CI.yml b/.github/workflows/stainless-CI.yml index deb1664f2..8fb271837 100644 --- a/.github/workflows/stainless-CI.yml +++ b/.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 diff --git a/.github/workflows/stainless-nightly.yml b/.github/workflows/stainless-nightly.yml index 8531ad2e0..b1983cec0 100644 --- a/.github/workflows/stainless-nightly.yml +++ b/.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