diff --git a/.github/workflows/stainless-CI.yml b/.github/workflows/stainless-CI.yml index 114f882f3..43c21141c 100644 --- 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 index 42b72999a..4898441fc 100644 --- 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 \ No newline at end of file + run: ./stainless-ci.sh --skip-build --skip-tests --skip-sbt-plugin \ No newline at end of file