Run only flexpret tests

lf-lang · Jan 20, 2025 · 7e9e765 · 7e9e765
1 parent 165d2c8
commit 7e9e765
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 9 deletions.
diff --git a/.github/workflows/all-targets.yml b/.github/workflows/all-targets.yml
@@ -25,6 +25,9 @@ jobs:
   check-diff:
     uses: ./.github/workflows/check-diff.yml
 
+  lf-default-flexpret:
+    uses: ./.github/workflows/c-flexpret-tests.yml
+
   # c:
   #   uses: ./.github/workflows/only-c.yml
   #   needs: check-diff

diff --git a/.github/workflows/c-verifier-tests.yml b/.github/workflows/c-verifier-tests.yml
@@ -55,15 +55,15 @@ jobs:
           echo "LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$(pwd)/z3/bin/" >> $GITHUB_ENV
       - name: Print Z3 Version
         run: z3 --version
-      - name: Install SBT
-        run: |
-          sudo apt-get update
-          sudo apt-get install -y default-jdk
-          echo "deb https://repo.scala-sbt.org/scalasbt/debian all main" | sudo tee /etc/apt/sources.list.d/sbt.list
-          echo "deb https://repo.scala-sbt.org/scalasbt/debian /" | sudo tee /etc/apt/sources.list.d/sbt_old.list
-          curl -sL "https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x2EE0EA64E40A89B84B2DF73499E82A75642AC823" | sudo apt-key add
-          sudo apt-get update
-          sudo apt-get install -y sbt
+      # - name: Install SBT
+      #   run: |
+      #     sudo apt-get update
+      #     sudo apt-get install -y default-jdk
+      #     echo "deb https://repo.scala-sbt.org/scalasbt/debian all main" | sudo tee /etc/apt/sources.list.d/sbt.list
+      #     echo "deb https://repo.scala-sbt.org/scalasbt/debian /" | sudo tee /etc/apt/sources.list.d/sbt_old.list
+      #     curl -sL "https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x2EE0EA64E40A89B84B2DF73499E82A75642AC823" | sudo apt-key add
+      #     sudo apt-get update
+      #     sudo apt-get install -y sbt
       - name: Install Uclid5
         working-directory: uclid/
         run: |