test sbt plugin again

epfl-lara · Oct 9, 2024 · 1187551 · 1187551
1 parent 8160aa3
commit 1187551
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/stainless-CI.yml b/.github/workflows/stainless-CI.yml
@@ -38,8 +38,8 @@ jobs:
       run: ./stainless-ci.sh --build-only
     - name: Run Tests and Integration Tests
       run: ./stainless-ci.sh --skip-build --skip-bolts --skip-sbt-plugin 
-    - name: Sbt Plugin Tests SKIPPED
-      run: echo SKIPPED
+    - name: Sbt Plugin Tests
+      run: ./stainless-ci.sh --skip-build --skip-tests --skip-bolts
   fail_if_pull_request_is_draft:
     if: github.event.pull_request.draft == true
     runs-on: [self-hosted, linux]