ci: setup BtorMC in Test

iscas-tis · Aug 22, 2024 · 9d42284 · 9d42284
1 parent 86286d8
commit 9d42284
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/Test.yml b/.github/workflows/Test.yml
@@ -15,5 +15,7 @@ jobs:
           java-version: [email protected]
       - name: Cache Scala
         uses: coursier/cache-action@v5
+      - name: Setup BtorMC
+        uses: SeddonShen/[email protected]
       - name: SBT Test
         run: sbt test