Ignore princess solver for LeanMergeSort (#1613)

* Ignore princess solver for LeanMergeSort * do not run stainless-explicit-fastmachines on PR
epfl-lara · Dec 6, 2024 · 74679f8 · 74679f8
1 parent da9e77d
commit 74679f8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/stainless-explicit-fastmachines.yml b/.github/workflows/stainless-explicit-fastmachines.yml
@@ -1,7 +1,6 @@
 name: Stainless Explicit fast-machines
 on:
   workflow_dispatch:
-  pull_request:
 jobs:
   tests:
     runs-on:

diff --git a/frontends/common/src/it/scala/stainless/verification/VerificationSuite.scala b/frontends/common/src/it/scala/stainless/verification/VerificationSuite.scala
@@ -101,6 +101,7 @@ class VerificationSuite extends VerificationComponentTestSuite {
       "verification/valid/IntSetInv",
       "verification/valid/Iterables",
       "verification/valid/LawTypeArgsElim",
+      "verification/valid/LeanMergeSort",
       "verification/valid/ListMonad",
       "verification/valid/ListOperations",
       "verification/valid/LiteralMaps",
@@ -244,4 +245,4 @@ object VerificationSuite {
   private lazy val valid = ComponentTestSuite.loadPrograms("verification/valid", recursive = true)
   private lazy val invalid = ComponentTestSuite.loadPrograms("verification/invalid")
   private lazy val falseValid = ComponentTestSuite.loadPrograms("verification/false-valid")
-}
+}