From 1187551826cc7cd366cdcad2c3bb36994279a1c1 Mon Sep 17 00:00:00 2001 From: Samuel Chassot Date: Wed, 9 Oct 2024 11:12:07 +0200 Subject: [PATCH] test sbt plugin again --- .github/workflows/stainless-CI.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/stainless-CI.yml b/.github/workflows/stainless-CI.yml index 571bd6be3..efbf92569 100644 --- 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]