move sbt plugin to CI

epfl-lara · Sep 4, 2024 · 4e69854 · 4e69854
1 parent cfe9f94
commit 4e69854
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/.github/workflows/stainless-CI.yml b/.github/workflows/stainless-CI.yml
@@ -6,7 +6,7 @@ on:
     branches:
       - main
 jobs:
-  test:
+  tests:
     if: github.event.pull_request.draft == false
     runs-on: [self-hosted, linux]
     env:
@@ -33,6 +33,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
+      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]

diff --git a/.github/workflows/stainless-nightly.yml b/.github/workflows/stainless-nightly.yml
@@ -3,7 +3,7 @@ on:
   schedule:
     - cron: '0 1 * * *'
 jobs:
-  bolts-sbt-plugin:
+  bolts:
     runs-on: [self-hosted, linux]
     env:
       # define Java options for both official sbt and sbt-extras
@@ -28,6 +28,4 @@ jobs:
     - name: Build and Package
       run: ./stainless-ci.sh --build-only
     - name: Bolts Tests
-      run: ./stainless-ci.sh --skip-build --skip-tests --skip-sbt-plugin
-    - name: Sbt Plugin Tests
-      run: ./stainless-ci.sh --skip-build --skip-tests --skip-bolts
+      run: ./stainless-ci.sh --skip-build --skip-tests --skip-sbt-plugin